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