From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 1D66E7FA83 for ; Fri, 14 Apr 2017 08:40:39 +0200 (CEST) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=marshall@logical.net; spf=Pass smtp.mailfrom=marshall@logical.net; spf=None smtp.helo=postmaster@smtp486.redcondor.net Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of marshall@logical.net) identity=pra; client-ip=208.80.204.86; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="marshall@logical.net"; x-sender="marshall@logical.net"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of marshall@logical.net designates 208.80.204.86 as permitted sender) identity=mailfrom; client-ip=208.80.204.86; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="marshall@logical.net"; x-sender="marshall@logical.net"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@smtp486.redcondor.net) identity=helo; client-ip=208.80.204.86; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="marshall@logical.net"; x-sender="postmaster@smtp486.redcondor.net"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AQlxOYxVENGoj3wL96l9z84ygYkLV8LGtZVwlr6E/?= =?us-ascii?q?grcLSJyIuqrYYxSBt8tkgFKBZ4jH8fUM07OQ6PG8HzRYqb+681k6OKRWUBEEjc?= =?us-ascii?q?hE1ycBO+WiTXPBEfjxciYhF95DXlI2t1uyMExSBdqsLwaK+i764jEdAAjwOhRo?= =?us-ascii?q?LerpBIHSk9631+ev8JHPfglEnjSwbLd9IRmssQndqtQdjJd/JKo21hbHuGZDdf?= =?us-ascii?q?5MxWNvK1KTnhL86dm18ZV+7SleuO8v+tBZX6nicKs2UbJXDDI9M2Ao/8LrrgXM?= =?us-ascii?q?TRGO5nQHTGoblAdDDhXf4xH7WpfxtTb6tvZ41SKHM8D6Uaw4VDK/5KptVRTmij?= =?us-ascii?q?oINyQh/W/XlsN+g79VrhGvqRJhzIHaZ5qYNOZnfqPYYd8aRXZNU8RXWidcAo28?= =?us-ascii?q?dYwPD+8ZMOhftYb9vUAOrRukCgmoAOPk1zhFhnrs0q0gyOQhERvJ3AgkH98VtH?= =?us-ascii?q?TUq9r1NKYOXu+vyKnE1zPDYO1K2Trk7oXDbxMvoemUUL5ubcbcylMjGgDZglmK?= =?us-ascii?q?t4DpIzyY2v4OvmWa9+ZtV/+jh3QopgxxuDSj28chhpPXio4Jyl3J8zhyzpwvKt?= =?us-ascii?q?2iUkF7ZMapEJtOuCGeMIt7WtgiQ2R0uCYixbALup+2cDIQyJs52hHQd/uHc46V?= =?us-ascii?q?7RLkTuadOzF4i2x5eL6nhhay91avyvHkW8WqzFpHrTBJn9rQunwXyRDf9seKRu?= =?us-ascii?q?F+80qgwTqP0hrc6uBAIUA6j6rbLJshz6Y1lpUJq0TDBS/2l1/yjK+SbUgk/u+o?= =?us-ascii?q?6+vmYrr6vJCcM5V4igfgPaQygsC/G/g3MhASX2iH/uSxzKHs8lf8QLVOl/E2lq?= =?us-ascii?q?jZsIvGJckAva64AwpV0p455BqlDjem1s4YnXgdI15fdhKHlduhB1abK/n9CbK7?= =?us-ascii?q?gk+wuDZt3fHPeLP7UbvXKX2Wtb77ZrZ070oUnA8618tf7pZQIrUGL/P4U0u3st?= =?us-ascii?q?HEWExqezeoyvrqXY0unrgVXniCV/eU?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0AjAgBzbfBYh1bMUNBbHgYMGQYMhAyEb?= =?us-ascii?q?ptRlXuCD4ohQRYBAQEBAQEBAQEBARIBAQEIDQkIKC+CMyCCbIELAiYCiwkFmQO?= =?us-ascii?q?QCIImixwBAQEkgQuFRYIJCYgFgjougjEFkHSMIoFWgQySAYFbhw8jhjqPTYQ8J?= =?us-ascii?q?gWBMTsrClIBgjmBTVSCDYoSAQEB?= X-IPAS-Result: =?us-ascii?q?A0AjAgBzbfBYh1bMUNBbHgYMGQYMhAyEbptRlXuCD4ohQRY?= =?us-ascii?q?BAQEBAQEBAQEBARIBAQEIDQkIKC+CMyCCbIELAiYCiwkFmQOQCIImixwBAQEkg?= =?us-ascii?q?QuFRYIJCYgFgjougjEFkHSMIoFWgQySAYFbhw8jhjqPTYQ8JgWBMTsrClIBgjm?= =?us-ascii?q?BTVSCDYoSAQEB?= X-IronPort-AV: E=Sophos;i="5.37,197,1488841200"; d="scan'208";a="269036872" Received: from smtp486.redcondor.net ([208.80.204.86]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES256-SHA256; 14 Apr 2017 08:40:37 +0200 Received: from outbound2.logical.net ([209.23.116.122]) by smtp486.redcondor.net ({6695537a-536a-45f9-a249-877c85428649}) via TCP (outbound) with ESMTPS id 20170414064034551_0486 for ; Fri, 14 Apr 2017 06:40:34 +0000 X-RC-FROM: X-RC-RCPT: Received: from [192.168.2.6] (71-45-15-205.res.bhn.net [71.45.15.205]) (authenticated bits=0) by outbound2.logical.net (8.14.4/8.14.4) with ESMTP id v3E6eRl0002489 for ; Fri, 14 Apr 2017 02:40:28 -0400 From: Marshall Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Message-Id: Date: Fri, 14 Apr 2017 01:40:26 -0500 To: caml-list@inria.fr Mime-Version: 1.0 (Mac OS X Mail 9.3 \(3124\)) X-Mailer: Apple Mail (2.3124) X-MAG-OUTBOUND: logical.redcondor.net@209.23.116/24 Subject: [Caml-list] Configure utop to use rlwrap/emacs history keys? Newbie question: On OSX 10.11, I would like to configure utop so that Ctrl-P moves to the pr= eviously entered line of code, and so that Ctrl-N moves back down toward th= e most recent line. According to what =E2=80=98man lambda-term-inputrc' an= d =E2=80=98lambda-term-actions=E2=80=99 say, it seems to me that I ought to= be able to get this behavior by putting the following in .lambda-term-inpu= trc in my home directory: [read-line] C-p: next-line=20 C-n: prev-line However, this configuration to have no effect. I can move up and down thro= ugh command history using the arrow keys, as I could without the rc file, C= trl-P and Ctrl-N still do nothing. Thanks very much- Marshall