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

diff --git a/.profile b/.profile
index 5fdca50d1fd5f09f9df350fe67769baac82e0d9f..93756db412a213909724bf2161e1fc8cef555c53 100644 (file)
--- a/.profile
+++ b/.profile
@@ -180,13 +180,13 @@ if [ -t 0 ] ; then
          set_prompts
          unset set_prompts
       else
-         OPS1="${debian_chroot:+($debian_chroot)}\u@\h:\W \$SHLVL\\$"
+         OPS1="${debian_chroot:+($debian_chroot)}\u@\h:\W \$SHLVL\\$ "
       fi
 
       . "$ENV"
 
    else
-      OPS1="${debian_chroot:+($debian_chroot)}`/usr/bin/whoami`@`/bin/hostname -s` >"
+      OPS1="${debian_chroot:+($debian_chroot)}`/usr/bin/whoami`@`/bin/hostname -s` > "
    fi
 
    ### biff controls new mail notification