Ubuntu : trucs et astuces…
Bonjour,
Voici un article ou je stockerais l’ensemble des trucs et astuces sympa glanés lors de mes périgrinations sur le Web.
Editeur de configuration : GConf
L’ensemble des paramètres de Gnome pour chaque utilisateur est stocké dans un répertoire ~/.gconf que l’on retrouve sous forme d’un éditeur graphique pratique pour changer chaque option en détail. Pour l’ouvrir : Applications > System Tools > Configuration Editor. Si vous n’avez pas de menu System Tools, allez dans System > Preferences > Main Menu, dans Applications cochez System Tools et dans ce menu vérifiez que Configuration Editor est bien présent et coché. Sinon, vous pouvez y accéder facilement en tapant Alt+F2, et en rentrant gconf-editor.
Problème avec le grub ?
J’ai eu récemment un souci avec mon grub qui ne se mettait pas à jour suite à la mise à jour de mon noyau. sudo grub-mkconfig mais cela n’a rien donné. La commande suivante permet de réinstaller le grub dans le master boot record (mbr) : sudo grub-install /dev/sda.
Et voila c’est reparti comme en 40 !
Changer les options du kernel au démarrage tout en conservant ses options
La façon pérenne pour conserver ces modifs consiste à modifier la ligne du fichier /boot/grub/menu.lst :
# defoptions=quiet splash en ajoutant en fin de lignes les options nécessaires.
Ensuite il faut valider par la commande :
sudo update-grub et accepter les modifs.
Ainsi à chaque maj du kernel les options seront reconduites.
Changer l'apparence de son horloge
Voici l’affichage de mon horloge.
Pour cela, allez dans l’éditeur de configuration dans cette rubrique /apps/panel/applets/clock_screen0/prefs et modifiez le contenu de la clé format en custom puis modifiez le contenu de la clé custom_format en <span color=”#7a7aef”>%a %e, %H:%M</span> pour avoir l’affichage comme le mien. Pour en savoir plus, voici les différents paramètres possibles de l’horloge.
