Filippo Giunchedi has submitted this change and it was merged. 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(-) Approvals: Filippo Giunchedi: Verified; Looks good to me, approved 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: merged Gerrit-Change-Id: Idddaaa6fe4425d6ff72fdf3f0aef1c7a8fdbb5dd Gerrit-PatchSet: 1 Gerrit-Project: operations/puppet Gerrit-Branch: production Gerrit-Owner: Filippo Giunchedi <[email protected]> Gerrit-Reviewer: Filippo Giunchedi <[email protected]> _______________________________________________ MediaWiki-commits mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
