stevo
/
.bash-git-prompt
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Quoted paths to handle spaces in them

Browse Source
master
oGre 10 years ago
parent f319f3acc1
commit f1940dfe8b
1 changed files with 2 additions and 2 deletions
Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL
Show Stats Download Patch File Download Diff File
  1. 4
      gitprompt.sh

4
gitprompt.sh
Unescape View File

@ -49,7 +49,7 @@ function get_theme() {
local theme="" local theme=""
# use default theme, if theme was not found # use default theme, if theme was not found
for themefile in ${__GIT_PROMPT_DIR}/themes/*.bgptheme; do for themefile in "${__GIT_PROMPT_DIR}/themes/"*.bgptheme; do
local basename=${themefile##*/} local basename=${themefile##*/}
if [[ "${basename%.bgptheme}" = "${GIT_PROMPT_THEME}" ]]; then if [[ "${basename%.bgptheme}" = "${GIT_PROMPT_THEME}" ]]; then
theme=$GIT_PROMPT_THEME theme=$GIT_PROMPT_THEME
@ -80,7 +80,7 @@ function git_prompt_list_themes() {
git_prompt_dir git_prompt_dir
get_theme get_theme
for themefile in ${__GIT_PROMPT_DIR}/themes/*.bgptheme; do for themefile in "${__GIT_PROMPT_DIR}/themes/"*.bgptheme; do
local basename=${themefile##*/} local basename=${themefile##*/}
local theme="${basename%.bgptheme}" local theme="${basename%.bgptheme}"
if [[ "${GIT_PROMPT_THEME}" = "${theme}" ]]; then if [[ "${GIT_PROMPT_THEME}" = "${theme}" ]]; then

Write Preview
Loading…
Cancel
Save