Différences entre versions de « Gestion de l'erreur standard de gedit »
Ligne 3 : | Ligne 3 : | ||
alias gedit='gedit 2&> /dev/null' | 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 | + | 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 fichier spécial ''/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' '') et qu'il n'y a pas d'espaces autour du signe '''='''. |
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''. | 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 à 15: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 fichier spécial /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' ) et qu'il n'y a pas d'espaces autour du signe =.
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.