projects
/
selector.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
247055c
)
Cosmetics.
author
Francois Fleuret
<francois@fleuret.org>
Thu, 26 Mar 2015 11:20:21 +0000
(12:20 +0100)
committer
Francois Fleuret
<francois@fleuret.org>
Thu, 26 Mar 2015 11:20:21 +0000
(12:20 +0100)
bash-selector.sh
patch
|
blob
|
history
diff --git
a/bash-selector.sh
b/bash-selector.sh
index
7246d45
..
7cb749c
100755
(executable)
--- a/
bash-selector.sh
+++ b/
bash-selector.sh
@@
-20,14
+20,14
@@
# You should have received a copy of the GNU General Public License
# along with selector. If not, see <http://www.gnu.org/licenses/>.
# You should have received a copy of the GNU General Public License
# along with selector. If not, see <http://www.gnu.org/licenses/>.
-# This
script installs two key-
bindings:
+# This
bash script adds two key
bindings:
#
#
-# Alt-r
for
selector-based command history
+# Alt-r
to access a
selector-based command history
#
#
-# Alt-c
for selector-based directo
y history
+# Alt-c
to access a selector-based director
y history
#
# Note that you have to call it with "source bash-selector.sh"
#
# Note that you have to call it with "source bash-selector.sh"
-# otherwise the key
-
bindings will not be effective in your current
+# otherwise the key
bindings will not be effective in your current
# bash
if [[ "${BASH_SOURCE[0]}" == "${0}" ]]; then
# bash
if [[ "${BASH_SOURCE[0]}" == "${0}" ]]; then
@@
-102,7
+102,7
@@
function selector-cd-search () {
alias cd=selector-cd
######################################################################
alias cd=selector-cd
######################################################################
-# The key
-
bindings themselves
+# The key
bindings themselves
######################################################################
# M-t appends the selected history line and the end of the current
######################################################################
# M-t appends the selected history line and the end of the current
@@
-135,9
+135,9
@@
if [[ "$1" ]]; then
else
else
- echo "source bash-selector.sh
<--hist|--cd> [...
]"
+ echo "source bash-selector.sh
[--hist] [--cd
]"
echo
echo
- echo "Defines bash functions, and installs key
-
bindings and aliases to use selector"
+ echo "Defines bash functions, and installs key
bindings and aliases to use selector"
echo "for history search with M-r and/or intelligent cd history with M-c."
fi
echo "for history search with M-r and/or intelligent cd history with M-c."
fi