X-Git-Url: https://www.fleuret.org/cgi-bin/gitweb/gitweb.cgi?a=blobdiff_plain;f=selector.1;h=8ca04cdebf71cf541c4ddd3bd67af630482baad7;hb=193d8265f2564e72db271c3bcbd65ed8d8d8fc9a;hp=12f16ab7785ff5d54f750bba85d32d7ac02a082d;hpb=5168dfcda518c2c25f2e01703cd814a416d9baac;p=selector.git diff --git a/selector.1 b/selector.1 index 12f16ab..8ca04cd 100644 --- a/selector.1 +++ b/selector.1 @@ -58,9 +58,9 @@ remove the time prefix from zsh history remove duplicated lines (note that you can have two different lines with the same visible part if you use the -x option) .IP "\fB-e\fP" 10 -start with the regexp mode activated +start in the regexp mode .IP "\fB-a\fP" 10 -make the matching case sensitive +start in the case-sensitive mode .IP "\fB-q\fP" 10 make a flash instead of a beep when there is an edition error .IP "\fB--\fP" 10 @@ -89,7 +89,7 @@ specify a file to search into (option kept for compatibility reasons) To use selector to search into your bash history, you can use -.B selector -q -b -i -d -v -w -l 10000 <(history) +.B selector -q -b -i -d -v -w -l ${HISTSIZE} <(history) .SH "KEY-BINDING IN BASH" @@ -98,7 +98,7 @@ command 'bind' in your bash initialization file. For instance, to associate it to M-r (that is, the "Alt" and "r" key pressed together), just add something like -bind '"\\C-[r":"\\C-a\\C-kselector -q -b -i -d -v -w -l 10000 <(history)\\C-m"' +bind '"\\C-[r":"\\C-a\\C-kselector -q -b -i -d -v -w -l ${HISTSIZE} <(history)\\C-m"' in your ~/.bashrc.