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 A7C877FA83 for ; Fri, 14 Apr 2017 17:07:01 +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@smtp451.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.51; 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.51 as permitted sender) identity=mailfrom; client-ip=208.80.204.51; 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@smtp451.redcondor.net) identity=helo; client-ip=208.80.204.51; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="marshall@logical.net"; x-sender="postmaster@smtp451.redcondor.net"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3Acr7pZh1/12YlcwMOsmDT+DRfVm0co7zxezQtwd8Z?= =?us-ascii?q?seIQKfad9pjvdHbS+e9qxAeQG96Kt7Qc06L/iOPJYSQ4+5GPsXQPItRndiQuro?= =?us-ascii?q?EopTEmG9OPEkbhLfTnPGQQFcVGU0J5rTngaRAGUMnxaEfPrXKs8DUcBgvwNRZv?= =?us-ascii?q?JuTyB4Xek9m72/q89pDXbAhEniaxba9vJxiqsAvdsdUbj5F/Iagr0BvJpXVIe+?= =?us-ascii?q?VSxWx2IF+Yggjx6MSt8pN96ipco/0u+dJOXqX8ZKQ4UKdXDC86PGAv5c3krgfM?= =?us-ascii?q?QA2S7XYBSGoWkx5IAw/Y7BHmW5r6ryX3uvZh1CScIMb7Vq4/Vyi84Kh3SR/okC?= =?us-ascii?q?YHOCA/8GHLkcx7kaZXrAu8qxBj34LYZYeYO/1jcKPAZtMaXXROUdpNVyJPBYO8?= =?us-ascii?q?apEAD+sHPe1Fq4XwqF8DoR64CAKxBu3g1yVIi2f206Im0OouHhzI0gIuH9wQsn?= =?us-ascii?q?vaq874O70OXeCw1qTIzSnPYvFQ1Dzg6IbIaBchofSUULx3a8XR01IvFwPfgVWU?= =?us-ascii?q?rYzuIjSY1uEXvGiB9OpgVfigi2ojqwxqpjivwcgsiojViY0PzlDI7yN5z5gpJd?= =?us-ascii?q?ChTkNwfNCqEJxVty6ANot2RNsvQ2BuuCYgy70Jo4S3fCYQyJg/xx/QcfyHc4+P?= =?us-ascii?q?4h75SOmRJjJ4iXR4c7y8nxa/6VasxvH/W8Wu01tGsjBJnsfQun0CzRDe6tWLRu?= =?us-ascii?q?N/80u8wzqC2ADe5vtZLU00j6bXNYItz742m5EOq0rMBDX2l1/zjKKOdkUr5Oyo?= =?us-ascii?q?6+P/b7X9o5+cK5d0hw7+P6gzgMC/G/o3PRUSUGic/+Szybrj/VfjTLVMkPI2jr?= =?us-ascii?q?HVsJHcJcsFuq60GxFZ3pog5hqlDDqqzM4UkWcbIF9KYh6Kj5XlN0nLIP/iDPe/?= =?us-ascii?q?h1qskC1sx/DDJrDhB4/CLmLYkLfhZ7l970pcxRE3zdBY6JJUC60OL+j3WkPrst?= =?us-ascii?q?zXEAM5PxSuw+n7ENV9yp8eWWWXD6CFKqzStFuI6vsrI+mNf48VpC3wK+Ml5v7r?= =?us-ascii?q?lX82g0URfaiv3ZsNaXC3BO5qI0uDYSmkvtBUNkwDuw52aeXrjFyEXnZ3Zm2uF/?= =?us-ascii?q?Y37zQ/TYanFpvrR4a3gbXH0j3tTbNMYWUTL1mWCnfhc4HMD/IFcjmSK8tlujgD?= =?us-ascii?q?WrmqQotn0xyy4lypg4F7J/bZr3VL/ano08J4sqiOzBw=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0BWAAB15PBYmDPMUNBcGwEBAQMBAQEJA?= =?us-ascii?q?QEBFwEBBAEBCgEBhAkDgQiDZptygjqFYY1Cgg8shXgCg35AFwEBAQEBAQEBAQE?= =?us-ascii?q?BEgEBAQEBCAsLBigvgjMigkABAQEBAgEjSxALCxgNGgMCAiEkAREGExKJbQMNC?= =?us-ascii?q?AUJqGaCJocyAwqDUwEBAQcBAQEBAQEihlCBXiuBYoEKglGFCy6CMQWHTQyJHIU?= =?us-ascii?q?6hi07gmKEIocdhkNVgQaHDyOGOosHhEeEPA8SAYE6QysKQREBgj+BWEmCDVeJO?= =?us-ascii?q?wEBAQ?= X-IPAS-Result: =?us-ascii?q?A0BWAAB15PBYmDPMUNBcGwEBAQMBAQEJAQEBFwEBBAEBCgE?= =?us-ascii?q?BhAkDgQiDZptygjqFYY1Cgg8shXgCg35AFwEBAQEBAQEBAQEBEgEBAQEBCAsLB?= =?us-ascii?q?igvgjMigkABAQEBAgEjSxALCxgNGgMCAiEkAREGExKJbQMNCAUJqGaCJocyAwq?= =?us-ascii?q?DUwEBAQcBAQEBAQEihlCBXiuBYoEKglGFCy6CMQWHTQyJHIU6hi07gmKEIocdh?= =?us-ascii?q?kNVgQaHDyOGOosHhEeEPA8SAYE6QysKQREBgj+BWEmCDVeJOwEBAQ?= X-IronPort-AV: E=Sophos;i="5.37,198,1488841200"; d="scan'208,217";a="269108170" Received: from smtp451.redcondor.net ([208.80.204.51]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES256-SHA256; 14 Apr 2017 17:07:00 +0200 Received: from outbound2.logical.net ([209.23.116.122]) by smtp451.redcondor.net ({64f3d0f0-9a92-47a2-ba77-ce0798423d5d}) via TCP (outbound) with ESMTPS id 20170414150656242_0451 for ; Fri, 14 Apr 2017 08:06:56 -0700 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 v3EF6mDd024124 for ; Fri, 14 Apr 2017 11:06:50 -0400 From: Marshall Content-Type: multipart/alternative; boundary="Apple-Mail=_31D89499-DC91-4706-AFDC-5D42C49E59F8" Message-Id: Mime-Version: 1.0 (Mac OS X Mail 9.3 \(3124\)) Date: Fri, 14 Apr 2017 10:06:47 -0500 References: To: OCaml Mailing List In-Reply-To: X-Mailer: Apple Mail (2.3124) X-MAG-OUTBOUND: logical.redcondor.net@209.23.116/24 Subject: Re: [Caml-list] Configure utop to use rlwrap/emacs history keys? --Apple-Mail=_31D89499-DC91-4706-AFDC-5D42C49E59F8 Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset=utf-8 Thanks for all of the replies. Zhenya, history-next/prev was the key. Excellent! Now I can work happily.= Thanks very much. I noticed that caml-list emails have reply-to set to the person who posted.= Is it the convention to reply off-list for most followups of this kind? (Francois, I checked and ^P and ^N actually are the Emacs previous/next lin= e keys in my vanilla Emacs=E2=80=94it wasn=E2=80=99t just my fingers that t= hought so! Meta-P and Meta-N are unbound. (I have to use the uber-traditi= onal Esc- prefix to get Meta, as Alt- and Apple- do other things by default= for me.)) (Tao: Yeah, lately Apple sometimes seems to have a =E2=80=9Cif it=E2=80=99s= not broken and is better than anything else, let=E2=80=99s mess it up=E2= =80=9D attitude. I think the X is supposed to be Roman numeral 10, so mayb= e Apple is planning to increment X and doesn=E2=80=99t like "OSXI".) Marshall > On Apr 14, 2017, at 8:46 AM, Evgeny Roubinchtein w= rote: >=20 > 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 follo= wing stanza should give you the effect you want: >=20 > [read-line] > C-p: history-next > C-n: history-prev >=20 > --=20 > Best, > Zhenya >=20 >=20 >=20 > On Fri, Apr 14, 2017 at 2:40 AM, Marshall > wrote: > Newbie question: >=20 > 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-in= putrc in my home directory: >=20 > [read-line] > C-p: next-line > C-n: prev-line >=20 > However, this configuration to have no effect. I can move up and down th= rough command history using the arrow keys, as I could without the rc file,= Ctrl-P and Ctrl-N still do nothing. >=20 > Thanks very much- >=20 > Marshall >=20 > -- > 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 --Apple-Mail=_31D89499-DC91-4706-AFDC-5D42C49E59F8 Content-Transfer-Encoding: quoted-printable Content-Type: text/html; charset=utf-8
Th= anks for all of the replies.

Zhenya, history-next/prev was the key.  Excellent!  N= ow I can work happily.  Thanks very much.

I noticed that caml-list emails have reply-to= set to the person who posted.  Is it the convention to reply off-list= for most followups of this kind?

(Francois, I checked and ^P and ^N actually are the Emacs = previous/next line keys in my vanilla Emacs=E2=80=94it wasn=E2=80=99t just = my fingers that thought so!  Meta-P and Meta-N are unbound.  (I h= ave to use the uber-traditional Esc- prefix to get Meta, as Alt- and Apple-= do other things by default for me.))

<= /div>
(Tao: Yeah, lately Apple sometimes seems to have a =E2= =80=9Cif it=E2=80=99s not broken and is better than anything else, let=E2= =80=99s mess it up=E2=80=9D attitude.  I think the X is supposed to be= Roman numeral 10, so maybe Apple is planning to increment X and doesn=E2= =80=99t like "OSXI".)

Marshall

On= Apr 14, 2017, at 8:46 AM, Evgeny Roubinchtein <zhenya1007@gmail.com> wrote:

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

--
Best= ,
Zhenya
=

=
On Fri, Apr 14, 2017 at 2:40 AM, = Marshall <marshall@logical.net> wro= te:
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-inputr= c' and =E2=80=98lambda-term-actions=E2=80=99 say, it seems to me that I oug= ht 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 fi= le, 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/ar= c/caml-list
Beginner's list: http://groups.yahoo.com/gro= up/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs


= --Apple-Mail=_31D89499-DC91-4706-AFDC-5D42C49E59F8--