Filippo Giunchedi has uploaded a new change for review. https://gerrit.wikimedia.org/r/155518
Change subject: filippo: use bashrc, fix prompt ...................................................................... filippo: use bashrc, fix prompt Change-Id: Idddaaa6fe4425d6ff72fdf3f0aef1c7a8fdbb5dd --- M modules/admin/files/home/filippo/.bash_profile 1 file changed, 4 insertions(+), 1 deletion(-) git pull ssh://gerrit.wikimedia.org:29418/operations/puppet refs/changes/18/155518/1 diff --git a/modules/admin/files/home/filippo/.bash_profile b/modules/admin/files/home/filippo/.bash_profile index a4de3da..e9e6cfe 100644 --- a/modules/admin/files/home/filippo/.bash_profile +++ b/modules/admin/files/home/filippo/.bash_profile @@ -1,5 +1,8 @@ +# Use .bashrc +[[ -r ~/.bashrc ]] && . ~/.bashrc + RESET="$(tput sgr0)" BRIGHT="$(tput bold)" RED="$(tput setaf 1)" WHITE="$(tput setaf 7)" -export PS1='\u@\[$BRIGHT\]\[$RED\]\h\[$RESET\]:\w\[$BRIGHT\]\[$WHITE\]\$\[$RESET\] ' +export PS1='\[$BRIGHT\]\[$RED\]\h\[$RESET\]:\w\[$BRIGHT\]\[$WHITE\]\$\[$RESET\] ' -- To view, visit https://gerrit.wikimedia.org/r/155518 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: newchange Gerrit-Change-Id: Idddaaa6fe4425d6ff72fdf3f0aef1c7a8fdbb5dd Gerrit-PatchSet: 1 Gerrit-Project: operations/puppet Gerrit-Branch: production Gerrit-Owner: Filippo Giunchedi <fgiunch...@wikimedia.org> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits