Cosmetics.
[selector.git] / selector.1
index 12f16ab..8ca04cd 100644 (file)
@@ -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
 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
 .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
 .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
 
 
 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"
 
 
 .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
 
 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.
 
 
 in your ~/.bashrc.