diff options
-rw-r--r-- | alias | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -72,8 +72,8 @@ alias gmail="mutt -F $SETTING_DIR/mutt/muttrc.gmail" | |||
72 | alias ntu="mutt -F $SETTING_DIR/mutt/muttrc.b97602041" | 72 | alias ntu="mutt -F $SETTING_DIR/mutt/muttrc.b97602041" |
73 | path() { echo $PATH; } # Should not use alias, because $PATH is not initialized | 73 | path() { echo $PATH; } # Should not use alias, because $PATH is not initialized |
74 | ps1.swap() { | 74 | ps1.swap() { |
75 | if [ -z $PS1_bak ]; then PS1_bak="$PS1" | 75 | if [ -z "$PS1_bak" ]; then PS1_bak="$PS1" |
76 | PS1=${1:->} | 76 | PS1="${1:->}" |
77 | PS1="${PS1%% } " | 77 | PS1="${PS1%% } " |
78 | else PS1="$PS1_bak" | 78 | else PS1="$PS1_bak" |
79 | unset PS1_bak | 79 | unset PS1_bak |