Différences
Ci-dessous, les différences entre deux révisions de la page.
Les deux révisions précédentes Révision précédente | |||
version_ubuntu [Le 26/12/2008, 18:41] 213.95.41.13 dangeureux et inutile |
— (Version actuelle) | ||
---|---|---|---|
Ligne 1: | Ligne 1: | ||
- | {{tag>Dapper Feisty Gutsy Hardy wiki console version_ubuntu}} | + | |
- | ====== version_ubuntu ====== | + | |
- | \\ | + | |
- | <note warning>Vous allez éditer ce fichier en mode administrateur ! \\ Faites attention à ce que vous faite</note> | + | |
- | \\ | + | |
- | Dans une console tapez ce qui suit:\\ | + | |
- | <code> | + | |
- | sudo gedit $HOME/.bashrc | + | |
- | </code> | + | |
- | 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\\ | + |