logo pulseaudio

Changer la sortie son par défaut de PulseAudio sous Gnome

Gnome


Depuis quelque temps, la sortie son sélectionnée par défaut par mon ordinateur au démarrage de Debian était HDMI / DisplayPort. Malheureusement, je n’ai pas de sortie son sur cet écran. Je ne dirais pas que ce problème m’empêchait d’utiliser mon ordinateur, d’ailleurs une technique à base de clics me permettait de rétablir la situation à chaque redémarrage. Cependant, ce problème me faisait perdre mon temps pour rien finalement. J’ai donc décidé de prendre ce problème à bras le corps et vous faire partager la correction de celui-ci.

Logo Gnome

Gnome 3 : redimensionner les icônes

Gnome


Sympa la page Activité sous Gnome3, mais je trouve les icônes un peu gros par défaut. Les icônes sont, par défaut, en 96px avec un espacement entre chaque icônes de 118px. Nous les changerons en 48px avec un espacement de 64px.

Logo Gnome

Gnome 3 : supprimer des icônes.

Gnome
OpenStreetMap


Marre d’avoir des icônes inutiles dans votre liste d’applications. De plus vous n’utiliserez pas la moitié de celle-ci et puis linux n’est il pas un système qui doit s’adapté à l’utilisateur ? Alors réagissez et supprimez moi ces lanceurs. Dans cet article, nous verrons une méthode bourrin de supprimer les lanceurs, si vous souhaitez une version plus souple, utilisez alacarte (expliquer en fin d’article).