Filippo Giunchedi has uploaded a new change for review. https://gerrit.wikimedia.org/r/155705
Change subject: filippo: let .bash_profile call .bashrc ...................................................................... filippo: let .bash_profile call .bashrc Change-Id: I1e3548706d724a873ec442f68705e09bb9f905f9 --- M modules/admin/files/home/filippo/.bash_profile M modules/admin/files/home/filippo/.bashrc 2 files changed, 12 insertions(+), 7 deletions(-) git pull ssh://gerrit.wikimedia.org:29418/operations/puppet refs/changes/05/155705/1 diff --git a/modules/admin/files/home/filippo/.bash_profile b/modules/admin/files/home/filippo/.bash_profile index e9e6cfe..09a73a8 100644 --- a/modules/admin/files/home/filippo/.bash_profile +++ b/modules/admin/files/home/filippo/.bash_profile @@ -1,8 +1,2 @@ # Use .bashrc [[ -r ~/.bashrc ]] && . ~/.bashrc - -RESET="$(tput sgr0)" -BRIGHT="$(tput bold)" -RED="$(tput setaf 1)" -WHITE="$(tput setaf 7)" -export PS1='\[$BRIGHT\]\[$RED\]\h\[$RESET\]:\w\[$BRIGHT\]\[$WHITE\]\$\[$RESET\] ' diff --git a/modules/admin/files/home/filippo/.bashrc b/modules/admin/files/home/filippo/.bashrc index 84ad6b6..836e441 100644 --- a/modules/admin/files/home/filippo/.bashrc +++ b/modules/admin/files/home/filippo/.bashrc @@ -3,7 +3,18 @@ # quit on one screen, interpret color escape, do not clear screen export LESS=FRX +# history settings +HISTCONTROL=ignoreboth +HISTSIZE=1000 +HISTFILESIZE=5000 +HISTTIMEFORMAT="%FT%TZ " +shopt -s histappend + # make less more friendly for non-text input files, see lesspipe(1) [ -x /usr/bin/lesspipe ] && eval "$(SHELL=/bin/sh lesspipe)" -HISTCONTROL=ignoreboth +RESET="$(tput sgr0)" +BRIGHT="$(tput bold)" +RED="$(tput setaf 1)" +WHITE="$(tput setaf 7)" +export PS1='\[$BRIGHT\]\[$RED\]\h\[$RESET\]:\w\[$BRIGHT\]\[$WHITE\]\$\[$RESET\] ' -- To view, visit https://gerrit.wikimedia.org/r/155705 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: newchange Gerrit-Change-Id: I1e3548706d724a873ec442f68705e09bb9f905f9 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
