.profile: Add a space after the simple `$PS1` prompt

[dotfiles.git] / .shellrc

diff --git a/.shellrc b/.shellrc
index 871747b3432d4e754b7c18126a591a628a1f15c8..a5f78d44225b8b0939f169d140113b024d9ceeff 100644 (file)
--- a/.shellrc
+++ b/.shellrc
@@ -99,8 +99,8 @@ if test -n "$BASH_VERSION"; then
       ! has_completion $cmd && complete -o default -A command $cmd
    done
 
-   for cmd in dig host mtr nslookup nc netcat nmap p ping ping6 socat \
-         telnet t tt \
+   for cmd in dig host mtr nslookup nc netcat nmap p ping ping6 \
+         ssh2 s2 socat telnet t tt \
          tcptraceroute tcptraceroute6 tracert tracert6 traceroute traceroute6 \
          whois wd wget wget-download wget-m wget-wrapper ww; do
       ! has_completion $cmd && complete -A hostname $cmd
@@ -354,9 +354,9 @@ mc() {
                OPS1+="\$(prompt_git)"
             fi
          fi
-         OPS1+=" \\$\$SHLVL "
+         OPS1+=" \$SHLVL\\$ "
       else
-         OPS1="\u@\h:\W \\$"
+         OPS1="\u@\h:\W \$SHLVL\\$ "
       fi
    fi