Gnome3

Divers configurations

• redémarrer gnome-shelle pour prendre en compte des modifications de configuration (nouveau lanceur, extension, ...)

 Alt-F2 puis taper 'r' ou 'restart'

• Afficher les schémas disponibles pour dans gsettings

 $ gsettings list-schemas

• Désactiver la recherche automatique de mises à jour

 $ gsettings set org.gnome.software download-updates false

• Pavé numérique: utiliser le point comme séparateur (virgule) dans calc (mais maintenir comme point dans les autres éditeurs).
  • Avec gnome-tweak-tools installé: Applications => Utilitaires => Outil de personnalisation : section Saisie, Disposition du pavé numérique : sélectionner "Obsolète".

Lanceurs d'applications

Les lanceurs sont dans /usr/share/applications, par exemple

 $ cat /usr/share/applications/firefox-quantum.desktop 
 [Desktop Entry]
 Name=Firefox Quantum
 Exec=/opt/firefox/firefox
 Type=Application
 StartupNotify=true
 Path=/opt/firefox
 Icon=/opt/firefox/browser/chrome/icons/default/default48.png
 Name[fr_FR]=Firefox Quantum
 Categories=Network;WebBrowser;

NB: la liste des catégories est définie ici: https://developer.gnome.org/menu-spec/#main-category-registry

Installation manuelle d'extensions

Télécharger le zip d'extension, puis regarder son uuid dans le fichier metadata.json, par exemple:

 "uuid": "dash-to-panel@jderose9.github.com"

Dézipper dans un dossier portant exactement ce nom, puis redemarrer gnome-shell (alt-F2 puis r).