3 #########################################################################
4 # This program is free software: you can redistribute it and/or modify #
5 # it under the terms of the version 3 of the GNU General Public License #
6 # as published by the Free Software Foundation. #
8 # This program is distributed in the hope that it will be useful, but #
9 # WITHOUT ANY WARRANTY; without even the implied warranty of #
10 # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU #
11 # General Public License for more details. #
13 # You should have received a copy of the GNU General Public License #
14 # along with this program. If not, see <http://www.gnu.org/licenses/>. #
16 # Written by and Copyright (C) Francois Fleuret #
17 # Contact <francois.fleuret@idiap.ch> for comments & bug reports #
18 #########################################################################
20 # This script installs two keybinding:
22 # Alt-r for selector-based command history
24 # Alt-c for selector-based directoy history
26 # It has to be called with ". bash-selector.sh"
28 ######################################################################
29 # Selector-based command history
30 ######################################################################
32 function selector-history () {
33 selector --bash -u -c 7,4,0,3 -q <(history)
36 ######################################################################
37 # Selector-based directory history
38 ######################################################################
40 # The file where we will keep track of the directories
42 export SELECTOR_CD_HISTORY
44 [[ "${SELECTOR_CD_HISTORY}" ]] || SELECTOR_CD_HISTORY=${HOME}/.selector-cd-history
46 # The function to use in place of the standard "cd"
48 function selector-cd () {
49 if [[ -z "$1" ]]; then
54 TMP=$(mktemp /tmp/selector-cd.XXXXXX)
55 tail -1000 < ${SELECTOR_CD_HISTORY} > ${TMP}
56 echo $PWD | sed -e "s!${HOME}!~!" >> ${TMP}
57 cat ${TMP} > ${SELECTOR_CD_HISTORY}
61 function selector-cd-search () {
62 PATH_TEMP=$(mktemp /tmp/selector-cd-path.XXXXXX)
63 selector -u -t "cd" -l 10000 -d -i -c 7,2,0,3 -o ${PATH_TEMP} -q ${SELECTOR_CD_HISTORY}
64 NEW_PATH="$(cat ${PATH_TEMP} | sed -e 's!~!'${HOME}'!')"
65 if [[ -s "${NEW_PATH}" ]]; then
66 selector-cd "$(cat ${PATH_TEMP} | sed -e 's!~!'${HOME}'!')"
73 ######################################################################
74 # The key-bindings themselves
75 ######################################################################
77 # M-r puts the selected history line in place of the current one
79 bind '"\C-[r":"\C-a\C-kselector-history\C-m"'
81 # M-t appends the selected history line and the end of the current one
82 # bind '"\C-[t":"\C-a\C-kselector-history\C-m\C-a\C-y\C-e"'
84 # M-c provides a dynamic list of directories to cd into
86 bind '"\C-[c":"\C-a\C-kselector-cd-search\C-m"'