Skip to content

Instantly share code, notes, and snippets.

@stephenway
Created April 3, 2012 14:28
Show Gist options
  • Save stephenway/2292423 to your computer and use it in GitHub Desktop.
Save stephenway/2292423 to your computer and use it in GitHub Desktop.
bashrc
# System-wide .bashrc file for interactive bash(1) shells.
if [ -z "$PS1" ]; then
return
fi
PS1='\$ '
# Make bash check its window size after a process completes
shopt -s checkwinsize
# Tell the terminal about the working directory at each prompt.
if [ "$TERM_PROGRAM" == "Apple_Terminal" ] && [ -z "$INSIDE_EMACS" ]; then
update_terminal_cwd() {
# Identify the directory using a "file:" scheme URL,
# including the host name to disambiguate local vs.
# remote connections. Percent-escape spaces.
local SEARCH=' '
local REPLACE='%20'
local PWD_URL="file://$HOSTNAME${PWD//$SEARCH/$REPLACE}"
printf '\e]7;%s\a' "$PWD_URL"
}
PROMPT_COMMAND="update_terminal_cwd; $PROMPT_COMMAND"
fi
@stephenway
Copy link
Author

This simplifies the command line to just a single "$" sign.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment