USER=`id -un`
LOGNAME=$USER
MAIL="/var/mail/$USER"
-HISTFILESIZE=1000
+
+# Don't put duplicate lines in the history.
+HISTCONTROL=ignoredups:ignorespace
+HISTFILESIZE=2000
HISTSIZE=1000
+
HOSTNAME=`hostname`
EDITOR=_DEFAULT_EDITOR_
CFLAGS="_DEFAULT_CFLAGS_"
alias grep='grep --color=auto'
alias fgrep='fgrep --color=auto'
alias egrep='egrep --color=auto'
+alias less='less -RFX'
+
# Pour avoir un environnement similaire à ce qu'un login fournirait:
alias su='su --login'