Skip to content

Instantly share code, notes, and snippets.

@rz7d
Created October 17, 2018 12:02
Show Gist options
  • Save rz7d/261c210f6ced78dc5788fa79670b12d3 to your computer and use it in GitHub Desktop.
Save rz7d/261c210f6ced78dc5788fa79670b12d3 to your computer and use it in GitHub Desktop.
--- git-prompt-original.sh 2018-08-21 11:04:58.000000000 +0900
+++ git-prompt.sh 2018-10-17 20:39:23.715727800 +0900
@@ -9,12 +9,8 @@ if test -f ~/.config/git/git-prompt.sh
then
. ~/.config/git/git-prompt.sh
else
- PS1='\[\033]0;$TITLEPREFIX:$PWD\007\]' # set window title
+ PS1='\033]0;$PWD\007' # set window title
PS1="$PS1"'\n' # new line
- PS1="$PS1"'\[\033[32m\]' # change to green
- PS1="$PS1"'\u@\h ' # user@host<space>
- PS1="$PS1"'\[\033[35m\]' # change to purple
- PS1="$PS1"'$MSYSTEM ' # show MSYSTEM
PS1="$PS1"'\[\033[33m\]' # change to brownish yellow
PS1="$PS1"'\w' # current working directory
if test -z "$WINELOADERNOEXEC"
@@ -32,7 +28,6 @@ else
fi
fi
PS1="$PS1"'\[\033[0m\]' # change color
- PS1="$PS1"'\n' # new line
PS1="$PS1"'$ ' # prompt: always $
fi
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment