From: Oleg Broytman <phd@phdru.name>
Date: Mon, 24 Aug 2020 20:03:54 +0000 (+0300)
Subject: .profile: Add a space after the simple `$PS1` prompt
X-Git-Url: https://git.phdru.name/?p=dotfiles.git;a=commitdiff_plain;h=4b1b10d85680a15757417807cb09b37487e00db2

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

diff --git a/.profile b/.profile
index 5fdca50..93756db 100644
--- 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