- ARGS="-c 7 4 0 3 -q -b -i -d -v -w -l 15000"
- FILES=""
-
- # I may have a "local bash history" specific to the current
- # directory, and I also maintain a global "kept command" file. I
- # take all this into account here.
-
- if [[ ${LOCAL_HISTORY_FILE} ]] && [[ -f ${LOCAL_HISTORY_FILE} ]]; then
- FILES="${FILES} ${LOCAL_HISTORY_FILE}"
- fi
-
- if [[ ${KEPT_COMMANDS} ]] && [[ -f ${KEPT_COMMANDS} ]]; then
- selector ${ARGS} ${FILES} <(sed < ${KEPT_COMMANDS} -e 's/^.*: /0 /') <(history)
- else
- selector ${ARGS} ${FILES} <(history)
- fi
-