Ceci est une ancienne révision du document !
version_ubuntu
Vous allez éditer ce fichier en mode administrateur !
Faites attention à ce que vous faite
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