diff options
author | Silvio Rhatto <rhatto@riseup.net> | 2010-02-15 18:34:18 -0200 |
---|---|---|
committer | Silvio Rhatto <rhatto@riseup.net> | 2010-02-15 18:34:18 -0200 |
commit | 290469a28c7504341a89afc60e4d0078e50e78b0 (patch) | |
tree | db68a0b52976f6bcdaafc5bb80695938de979429 /files/etc/profile | |
parent | e88378ecb98bc3932aa8484837fefa04e5b9323b (diff) | |
download | puppet-nodo-290469a28c7504341a89afc60e4d0078e50e78b0.tar.gz puppet-nodo-290469a28c7504341a89afc60e4d0078e50e78b0.tar.bz2 |
Prompt fixes
Diffstat (limited to 'files/etc/profile')
-rw-r--r-- | files/etc/profile | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/files/etc/profile b/files/etc/profile index 3828b33..d397ec7 100644 --- a/files/etc/profile +++ b/files/etc/profile @@ -10,7 +10,8 @@ fi if [ "$PS1" ]; then if [ "$BASH" ]; then PS1='\u@\h:\w\$ ' - PROMPT_COMMAND="/usr/local/bin/prompt.sh" + . /usr/local/bin/prompt.sh + PROMPT_COMMAND="command_prompt" else if [ "`id -u`" -eq 0 ]; then PS1='# ' |