Différences entre versions de « Gestion de l'erreur standard de gedit »
(Page créée avec « Lors du démarrage de gedit à partir du terminal, on obtient souvent une série d'erreurs à l'écran. Heureusement, il existe un moyen facile de gérer cette erreur stan... ») |
|||
| Ligne 1 : | Ligne 1 : | ||
| − | Lors du démarrage de gedit à partir du terminal, on obtient souvent une série d'erreurs à l'écran. Heureusement, | + | Lors du démarrage de gedit à partir du terminal, on obtient souvent une série d'erreurs à l'écran. Heureusement, on peut gérer facilement cette erreur standard avec la commande suivante: |
| + | |||
| + | ''alias gedit = 'gedit 2&> /dev/null/ ' ''. | ||
| + | |||
| + | Analysons cette commande. La première partie, ''alias gedit '', signifie que la commande ''gedit'' sera remplacée par la nouvelle commande suivant le caractère ''=''. Ensuite, la partie '' 'gedit 2&> /dev/null/ ' '' signifie que l'erreur standard de gedit (2) sera écrite dans le dossier ''/dev/null/''. Il est important de remarquer que la nouvelle commande suivant le caractère ''='' doit être mise entre apostrophes (i.e. ''alias commande = 'Nouvelle commande' ''). | ||
| + | |||
| + | Ensuite, afin de ne pas à avoir à réécrire cette commande à chaque fois qu'on ouvre un terminal, on peut l'ajouter au fichier ''.bashrc'' du ''$HOME''. | ||
Version du 19 juillet 2017 à 14:34
Lors du démarrage de gedit à partir du terminal, on obtient souvent une série d'erreurs à l'écran. Heureusement, on peut gérer facilement cette erreur standard avec la commande suivante:
alias gedit = 'gedit 2&> /dev/null/ ' .
Analysons cette commande. La première partie, alias gedit , signifie que la commande gedit sera remplacée par la nouvelle commande suivant le caractère =. Ensuite, la partie 'gedit 2&> /dev/null/ ' signifie que l'erreur standard de gedit (2) sera écrite dans le dossier /dev/null/. Il est important de remarquer que la nouvelle commande suivant le caractère = doit être mise entre apostrophes (i.e. alias commande = 'Nouvelle commande' ).
Ensuite, afin de ne pas à avoir à réécrire cette commande à chaque fois qu'on ouvre un terminal, on peut l'ajouter au fichier .bashrc du $HOME.