2022-12-03 11:14:01 +06:00
|
|
|
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'.
|
2022-12-03 19:21:28 +06:00
|
|
|
if [ -z "$_eat_bash_integration_enabled" ]
|
|
|
|
then
|
|
|
|
_eat_bash_integration_enabled=yes
|
2022-12-03 19:28:39 +06:00
|
|
|
PROMPT_COMMAND+=(_eat_prompt_command)
|
2022-12-03 19:21:28 +06:00
|
|
|
fi
|
2022-12-03 11:14:01 +06:00
|
|
|
|
|
|
|
# Local Variables:
|
|
|
|
# mode: sh
|
|
|
|
# End:
|