15 lines
387 B
Text
15 lines
387 B
Text
__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 test -z "$__eat_bash_integration_enabled"
|
|
then
|
|
__eat_bash_integration_enabled=yes
|
|
PROMPT_COMMAND+=(__eat_prompt_command)
|
|
fi
|
|
|
|
# Local Variables:
|
|
# mode: sh
|
|
# End:
|