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 mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id D38AA7FA83 for ; Fri, 14 Apr 2017 15:46:52 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=zhenya1007@gmail.com; spf=Pass smtp.mailfrom=zhenya1007@gmail.com; spf=None smtp.helo=postmaster@mail-yw0-f169.google.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of zhenya1007@gmail.com) identity=pra; client-ip=209.85.161.169; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="zhenya1007@gmail.com"; x-sender="zhenya1007@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of zhenya1007@gmail.com designates 209.85.161.169 as permitted sender) identity=mailfrom; client-ip=209.85.161.169; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="zhenya1007@gmail.com"; x-sender="zhenya1007@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-yw0-f169.google.com) identity=helo; client-ip=209.85.161.169; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="zhenya1007@gmail.com"; x-sender="postmaster@mail-yw0-f169.google.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AHyAABh/Cx1bFof9uRHKM819IXTAuvvDOBiVQ1KB3?= =?us-ascii?q?1eIcTK2v8tzYMVDF4r011RmSDNmds6oMotGVmpioYXYH75eFvSJKW713fDhBt/?= =?us-ascii?q?8rmRc9CtWOE0zxIa2iRSU7GMNfSA0tpCnjYgBaF8nkelLdvGC54yIMFRXjLwp1?= =?us-ascii?q?Ifn+FpLPg8it2e2//5Lebx9UiDahfLh/MAi4oQLNu8cMnIBsMLwxyhzHontJf+?= =?us-ascii?q?RZ22ZlLk+Nkhj/+8m94odt/zxftPw9+cFAV776f7kjQrxDEDsmKWE169b1uhTF?= =?us-ascii?q?UACC+2ETUmQSkhpPHgjF8BT3VYr/vyfmquZw3jSRMNboRr4oRzut86ZrSAfpiC?= =?us-ascii?q?gZMT457HrXgdF0gK5CvR6tuwBzz4vSbY6SKfR+Y7jdfcsESmVdQsZfWStBAoam?= =?us-ascii?q?YIsOCeoKIOJUoob5qlcLqxa1GAuiC/71yjJQhHD206003eoiHw/bwgIvA8kDv2?= =?us-ascii?q?7IoNjvLqoeTfy5wavOwD7eb/1WwzD96I3Qfx4uv/GMUqx/cczRyEIyCw3FiUiQ?= =?us-ascii?q?ppfkPzOTyusNs3Sb4PRhVeKplmUqrABwojixyccqiojGnJ8ZxkzY+Sh724s1Kt?= =?us-ascii?q?i4R1R6Yd6gCpdfqyaaN45vT84kXmpmtiE6yrgctp66eigH0JUnxxjFa/yGaYeE?= =?us-ascii?q?+BzjVPyJLTZ4nn1leLW/hxGo/Ue8ze38U8+520tJoCpditTAqGwB2hjJ5sWESv?= =?us-ascii?q?Zx5Fqt1DeS2wzJ9+1JIEQ5mKzGIJA72LEwjIAcsUHbEy/2hkr2iKiWe10h+uey?= =?us-ascii?q?6uTnZqzqp5+SNoNokw3+PLkil827DOgiPQgOWG+b+eu41LL950H2XLJKjvgunq?= =?us-ascii?q?nYtpDVO9gbq7anDwNJ1osv8RWyAje83NgFnHQLMUhJdA+GgoXtI13OJer3Dfa7?= =?us-ascii?q?g1SiijdrwPXGM6XgA5XNMHfDlrfgcqxg50JA1AY+z8tS551RCr4bIfLzXlX9u8?= =?us-ascii?q?DfDh88KwC02froCM1h1oMCXmKCGrOWP7nXsV+M/+4vJ+iMZJQJuDvmMPgk5/vu?= =?us-ascii?q?jWcjllMHfKmp24EXaHGiEfh8LUWZeymkvtBUNG4QpQo3SOii3FiLSyVTbnK2d6?= =?us-ascii?q?Y76TAwAYbgC4rfENODmruEiQqlEZBQdyh8DU2GEHHjd5mJWvFEPDCSL8lwm2Vc?= =?us-ascii?q?DeeJRIoo1BXovwj/nek0ZtHI8zEV4MqwnON+4PfewFRvrDE=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0AkAQAO0vBYhqmhVdFcHQYMGRgHgz40C?= =?us-ascii?q?4ELB4NfihWQMQEBBoEkgjqGT4QriCmCDyyFeAKDdwc/GAEBAQEBAQEBAQEBEgE?= =?us-ascii?q?BAQgLCwgoL4IzIoJBAQICASMdARsSCwEDAQsGBQQHGh0CAiIBEQEFAQoSBhMSi?= =?us-ascii?q?WwBAwgFCA6cMD+MBIIEBQEcgwkFg1kKGScDClaCfQEBCAEBAQEBAQEZAgYShXm?= =?us-ascii?q?FOoUDglmCXwWBKwEBAYYfDJUkEAgBAYE/CYU8i2GBf1WIOIY6kkIUH4EVDxCBP?= =?us-ascii?q?WNWGFCDQUmCCyQ1iTsBAQE?= X-IPAS-Result: =?us-ascii?q?A0AkAQAO0vBYhqmhVdFcHQYMGRgHgz40C4ELB4NfihWQMQE?= =?us-ascii?q?BBoEkgjqGT4QriCmCDyyFeAKDdwc/GAEBAQEBAQEBAQEBEgEBAQgLCwgoL4IzI?= =?us-ascii?q?oJBAQICASMdARsSCwEDAQsGBQQHGh0CAiIBEQEFAQoSBhMSiWwBAwgFCA6cMD+?= =?us-ascii?q?MBIIEBQEcgwkFg1kKGScDClaCfQEBCAEBAQEBAQEZAgYShXmFOoUDglmCXwWBK?= =?us-ascii?q?wEBAYYfDJUkEAgBAYE/CYU8i2GBf1WIOIY6kkIUH4EVDxCBPWNWGFCDQUmCCyQ?= =?us-ascii?q?1iTsBAQE?= X-IronPort-AV: E=Sophos;i="5.37,198,1488841200"; d="scan'208,217";a="220443831" Received: from mail-yw0-f169.google.com ([209.85.161.169]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 14 Apr 2017 15:46:51 +0200 Received: by mail-yw0-f169.google.com with SMTP id k13so35836646ywk.1 for ; Fri, 14 Apr 2017 06:46:51 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:in-reply-to:references:from:date:message-id:subject:to :cc; bh=qrYnEOcLUn7gSlC/20HggWNwCng3DT1E/syW0rT1HwY=; b=PUWGFiQGsdYAESqLXuLcItyrHICafkq4ZgmIu2P3fH9EOn6sm+C5UuvZ1ArYfe+xPB WgVvN16O/UToUnUruX5+faTS6rxoaPYybDgCwMo7ABTbUOwRZP+61P2FKMgdAElRogLl NzlVY4WFEhTp9b9FjeYtaAkEHJ93mFrk1GTrn3JrUoYIELNNo/SL6dCQGAfK2jOEPon6 NEZnnPAecjs3mOPXIwtxouQI7TSR5U6uHl26L7X1NaDdrAkQ7psRb1OkKTeZsK/P6l9i nfDStyCM8Cp3rSEml4XAVRgQcGQp+Iu6P2f1bdLCD2bCyQl5v0r9+p2BZlBuBdHaoRMm b0vA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:in-reply-to:references:from:date :message-id:subject:to:cc; bh=qrYnEOcLUn7gSlC/20HggWNwCng3DT1E/syW0rT1HwY=; b=JPPeUSL9o+UvTq61W90r25XmU1dLBf5qcdyNoW665i1U0NwEyNt8jgQn4960xtYkII pSWS58zNBLd4DJpQORSmST8QWxlRKNYpurf3qYMHHpr763Rd8T/2qq+dtpzhoTWo5Qjw zA+XRDKnAR5/t5g8UnS+wPpJugtXAKzyzsOsGg+e+QEelO21j1gqOr+evun/oZte6plV VVz8V0SwzT6qqQiv93psK/6Ab7FJtmB9A/ui6sYtvFzci1TwIp6fIEF47I7JORqgYz1n Ah+q682rfGrNfStDdrcS6wUSFmsmzZ3xh+t33KnChPW6ztSLjDuF1wVhmqdtYR+Pvijz eG/Q== X-Gm-Message-State: AN3rC/7T6rmE/Rehc1L3bZbkOkUGQjtxBh37kQqikANheYVMns1LsKcR KLQLi7M942Rsz3O/zGX3rpIZWXoH3A== X-Received: by 10.13.233.133 with SMTP id s127mr6273114ywe.27.1492177610202; Fri, 14 Apr 2017 06:46:50 -0700 (PDT) MIME-Version: 1.0 Received: by 10.37.172.194 with HTTP; Fri, 14 Apr 2017 06:46:49 -0700 (PDT) In-Reply-To: References: From: Evgeny Roubinchtein Date: Fri, 14 Apr 2017 09:46:49 -0400 Message-ID: To: Marshall Cc: OCaml Mailing List Content-Type: multipart/alternative; boundary=94eb2c0736e465e86e054d20ac9c Subject: Re: [Caml-list] Configure utop to use rlwrap/emacs history keys? --94eb2c0736e465e86e054d20ac9c Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable I agree with your reading of lambda-term-inputrc man page, but I disagree with your reading of the output of lambda-term-actions. I think the following stanza should give you the effect you want: [read-line] C-p: history-next C-n: history-prev --=20 Best, Zhenya On Fri, Apr 14, 2017 at 2:40 AM, Marshall wrote: > Newbie question: > > On OSX 10.11, I would like to configure utop so that Ctrl-P moves to the > previously entered line of code, and so that Ctrl-N moves back down toward > the most recent line. According to what =E2=80=98man lambda-term-inputrc= ' and > =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-inputrc in my home > directory: > > [read-line] > C-p: next-line > C-n: prev-line > > However, this configuration to have no effect. I can move up and down > through command history using the arrow keys, as I could without the rc > file, Ctrl-P and Ctrl-N still do nothing. > > Thanks very much- > > Marshall > > -- > Caml-list mailing list. Subscription management and archives: > https://sympa.inria.fr/sympa/arc/caml-list > Beginner's list: http://groups.yahoo.com/group/ocaml_beginners > Bug reports: http://caml.inria.fr/bin/caml-bugs --94eb2c0736e465e86e054d20ac9c Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
I agree with your reading of lambda-term-inputrc= man page, but I disagree with your reading of the output of lambda-term-ac= tions.=C2=A0 I think the following stanza should give you the effect you wa= nt:

[read-line]
C-p: history-next
C-n: history-prev

--
Best,
Zhenya

--94eb2c0736e465e86e054d20ac9c--