From: Francois Fleuret Date: Thu, 7 May 2009 08:44:40 +0000 (+0200) Subject: Cosmetics. X-Git-Url: https://fleuret.org/cgi-bin/gitweb/gitweb.cgi?a=commitdiff_plain;h=6a28bf52a5a8975bef84624d400ae9e98147f793;p=selector.git Cosmetics. --- diff --git a/REVISION_NUMBER b/REVISION_NUMBER index 13c09a0..878d5a0 100644 --- a/REVISION_NUMBER +++ b/REVISION_NUMBER @@ -1 +1 @@ -145 +146 diff --git a/selector.1 b/selector.1 index 4e1d26d..d608ddf 100644 --- a/selector.1 +++ b/selector.1 @@ -83,7 +83,7 @@ To use selector to search into your bash history, you can use .SH "INTERACTION WITH READLINE" -For better efficiency, you can associate selector to a one key in the +For better efficiency, you can associate selector to a key in the shell through the use of the readline configuration file. To do so, you have first to pick a key and check the character sequences associated to it. @@ -100,8 +100,8 @@ configuration file, not a '^' followed by a character. To do so with Emacs for instance, you have to use the C-q key followed by another key: C-q C-a inserts "^A", C-q C-[ inserts "^[", etc. -The control characters in this line are there to erase the current -line before invoking the selector. +The control characters in this line are here to first erase the +current line content and to simulate the enter key. .SH "BUGS"