Ceci est une ancienne révision du document !
version_ubuntu
http://doc.ubuntu-fr.org/utilisateurs/depann-informatique
depann.informatique@laposte.net
Entreprise artisanale dont l'objectif principal est de promouvoir linux et linux-Ubuntu en particulier.
Faites attention à ce que vous faite
Dans une console tapez ce qui suit:
sudo gedit $HOME/.bashrc
une fois que le fichier .bashrc se trouve dans gedit.
Taper ou copier et coller le texte ci-dessous. Mettez-le à la fin du fichier
version(){
clear
echo -e \\r \\n
sed -n -e '/DISTRIB_DESCRIPTION="/p' < /etc/*release* > /tmp/release.tmp
cut -c22-32 /tmp/release.tmp
echo -e \\r \\n
# rm /tmp/release.tmp
}
Enregistrer le fichier .bashrc
Déconnectez-vous de la console que vous avez lancé
Relancez une autre console
Tapez version et voyez le résultat