Votre administrateur système a dû vous fournir certains fichier de
configuration comme .xinitrc, .bash_profile et .inputrc. Ceux
que vous voudrez peut-être modifier sont :
.bash_profile ou .profile : ce fichier est lu par le shell au
moment du login. C'est l'équivalent de LOGIN.COM.
.bash_logout : celui-ci est lu en fin de session. C'est
l'équivalent
de LOGOUT.COM.
.bashrc : il est lu par les shells non interactifs
.inputrc : ce fichier configure les rôles des touches du
clavier et le comportement du shell.
Pour vous donner un exemple, j'ai inclus une partie mon .bash_profile :
# $HOME/.bash_profile
# on ne redéfinit pas le path si ce n'est pas nécessaire
echo $PATH | grep $LOGNAME> /dev/null
if [ $? != 0 ]
then
export PATH="$PATH:/home/$LOGNAME/bin" # ajoute mon répertoire au path
fi
export PS1='LOGNAME:\w\$ '
export PS2='Continued...>'
# alias
alias bin="cd ~/bin" ; alias cp="cp -i" ; alias d="dir"
alias del="delete" ; alias dir="/bin/ls $LS_OPTIONS --format=vertical"
alias ed="jed" ; alias mv='mv -i'
alias u="cd .." ; alias undel="undelete"
# Quelques fonctions utiles
inst() # installe un tarball gzipé dans le répertoire courant
{
tar xvfz $1
}
cz() # liste le contenu d'une archive .zip
{
unzip -l $*
}
ctgz() # liste le contenu d'un tarball gzipé
{
for fichier in $* ; do
tar tfz ${fichier}
done
}
tgz() # crée une archive .tgz à la zip.
{
nom=$1 ; tar cvf $1 ; shift
tar -rf ${nom} $* ; gzip -S .tgz ${nom}
}
Et voici mon .inputrc :
# $HOME/.inputrc # # Ce fichier est lu par bash et définit les fonctions attachés aux touches # par le shell ; ce qui suit permet d'avoir un comportement courant pour # les touches <it/fin/, <it/home/ (la touche au dessus de fin), <it/suppr/ # et les caractères accentués. # Pour plus d'information, man readline. "\e[1~": beginning-of-line "\e[3~": delete-char "\e[4~": end-of-line set bell-style visible set meta-flag On set convert-meta Off set output-meta On set horizontal-scroll-mode On set show-all-if-ambiguous On # (F1 .. F5) sont "\e[[A" ... "\e[[E" "\e[[A": "info "
Hosting by: Hurra Communications GmbH
Generated: 2007-01-26 18:01:25