diff options
author | Hugues Hiegel <hugues@hiegel.fr> | 2009-05-14 14:46:00 +0200 |
---|---|---|
committer | Hugues Hiegel <hugues@hiegel.fr> | 2009-06-04 23:35:43 +0200 |
commit | 88cc186983054e074e13811d981582e8f31904cd (patch) | |
tree | f4705e5e1bac9be091caa767ecaacff1d0b1b18c /net:sweethome/user:hugues/Environment.zsh | |
parent | 3b01e9c17d767c0e148fda1d2609ba27628f4c01 (diff) |
[Sweethome] PS1_COLORS moved to host:paranoid/user:hugues
Diffstat (limited to 'net:sweethome/user:hugues/Environment.zsh')
-rw-r--r-- | net:sweethome/user:hugues/Environment.zsh | 19 |
1 files changed, 0 insertions, 19 deletions
diff --git a/net:sweethome/user:hugues/Environment.zsh b/net:sweethome/user:hugues/Environment.zsh deleted file mode 100644 index 22ede24..0000000 --- a/net:sweethome/user:hugues/Environment.zsh +++ /dev/null @@ -1,19 +0,0 @@ - -PS1_SUDO=${PS1_SUDO:-$color[green]} -PS1_USER_SSH=${PS1_USER_SSH:-$color[magenta]} -#PS1_USER_SCR=${PS1_USER_SCR:-$color[cyan]} -PS1_USER_SCR=$PS1_USER - -if ( [ "$SSH_TTY" != "" ] ) -then - PS1_USER=$PS1_USER_SSH -fi -if ( echo "$TERM" | grep "^screen.*$" >/dev/null ) -then - PS1_USER=$PS1_USER_SCR -fi -if ( [ ! -z "$SUDO_USER" ] ) -then - PS1_USER=$PS1_SUDO -fi - |