gksudo gedit /etc/default/grub
Puis faire la mise à jour du menu
gksudo gedit /etc/default/grub
Editer le fichier de Grub

Comment faire la sauvegarde de son répertoire personnel sur un disque externe ?

1. Devenir propriétaire de l'ensemble des fichiers de son répertoire utilisateur
   1. sudo chown   -R   utilisateur:utilisateur /home/utilisateur/
2. utiliser grsync pour faire la sauvegarde
   1. Choisir en premier le repertoire source puis celui de destination ( le disque externe )
   2. Dans Options de base cocher "conserver la date", "conserver les permissions", "Conserver le propriétaire", "Conserver les groupes","Informations complémentaire" et "montrer la progression"
   3. Dans Options avancées cocher "Préserver les périphériques" et "Copier les liens symbolique"
   4. Dans Autres options ne rien modifier
3. Faire une simulation ou exécuter la sauvegarde

Comment rajouter une carte dans NagVis en ligne de commande

Aller dans le bon Répertoire

cd /usr/local/nagios/share/nagvis/etc/maps

Copier le fichier de base

sudo cp firstmap.cfg Mairie_rdc.cfg

donner les bons droits

sudo     chown -R www-data:www-data /usr/local/nagios/share/nagvis/

sudo chmod 664*

Avec la commande suivante 

 find . -mtime +365 | xargs rm -f