15 lines
410 B
Text
15 lines
410 B
Text
function _eat_prompt_command () {
|
|
# Send the current working directory, for directory tracking.
|
|
printf "\\e]7;file://%s%s\\e\\\\" "$HOSTNAME" "$PWD"
|
|
}
|
|
|
|
# Add '_eat_prompt_command' as the last element of 'PROMPT_COMMAND'.
|
|
if [ -z "$_eat_bash_integration_enabled" ]
|
|
then
|
|
_eat_bash_integration_enabled=yes
|
|
PROMPT_COMMAND[${#PROMPT_COMMAND[*]}]=_eat_prompt_command
|
|
fi
|
|
|
|
# Local Variables:
|
|
# mode: sh
|
|
# End:
|