remove additional spaces

This commit is contained in:
David Refoua 2022-10-15 12:38:25 +03:30 committed by GitHub
parent 7f682653e4
commit 9aa26c46d0
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

14
vendor/git-prompt.sh vendored
View File

@ -1,5 +1,5 @@
function getGitStatusSetting() { function getGitStatusSetting() {
gitStatusSetting=$(git --no-pager config -l 2>/dev/null) gitStatusSetting=$(git --no-pager config -l 2>/dev/null)
if [[ -n ${gitStatusSetting} ]] && [[ ${gitStatusSetting} =~ cmder.status=false ]] || [[ ${gitStatusSetting} =~ cmder.shstatus=false ]] if [[ -n ${gitStatusSetting} ]] && [[ ${gitStatusSetting} =~ cmder.status=false ]] || [[ ${gitStatusSetting} =~ cmder.shstatus=false ]]
then then
@ -12,16 +12,16 @@ function getGitStatusSetting() {
function getSimpleGitBranch() { function getSimpleGitBranch() {
gitDir=$(git rev-parse --git-dir 2>/dev/null) gitDir=$(git rev-parse --git-dir 2>/dev/null)
if [ -z "$gitDir" ]; then if [ -z "$gitDir" ]; then
return 0 return 0
fi fi
headContent=$(< "$gitDir/HEAD") headContent=$(< "$gitDir/HEAD")
if [[ "$headContent" == "ref: refs/heads/"* ]] if [[ "$headContent" == "ref: refs/heads/"* ]]
then then
echo " (${headContent:16})" echo " (${headContent:16})"
else else
echo " (HEAD detached at ${headContent:0:7})" echo " (HEAD detached at ${headContent:0:7})"
fi fi
} }
if test -f /etc/profile.d/git-sdk.sh if test -f /etc/profile.d/git-sdk.sh
@ -68,7 +68,7 @@ else
fi fi
PS1="$PS1"'\[\033[0m\]' # change color PS1="$PS1"'\[\033[0m\]' # change color
PS1="$PS1"'\n' # new line PS1="$PS1"'\n' # new line
PS1="$PS1"'λ ' # prompt: always λ PS1="$PS1"'λ ' # prompt: always λ
fi fi
MSYS2_PS1="$PS1" # for detection by MSYS2 SDK's bash.basrc MSYS2_PS1="$PS1" # for detection by MSYS2 SDK's bash.basrc