diff options
| author | Hsieh Chin Fan <pham@topo.tw> | 2022-10-05 08:34:47 +0800 |
|---|---|---|
| committer | Hsieh Chin Fan <pham@topo.tw> | 2022-10-05 08:34:47 +0800 |
| commit | 38675e92d2bb1f9ff00c969d446738f8e0eb803c (patch) | |
| tree | 072377f4106d0f65c66ee1aa52b4f9c3ed0b7516 | |
| parent | 09fdd02e5dfca71e941695a6e95b9c9c636922ae (diff) | |
Improve format
| -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 |