Lors de l'exécution de Gedit à partir du terminal, je rencontre une erreur indiquant que Settings schema 'org.gnome.gedit.plugins.time' is not installed
. Ni purge ni installation à l'aide de apt-get
ni la suppression et l'installation à l'aide du Centre logiciel Ubuntu n'ont aidé.
Comment récupérer mon Gedit? Où puis-je trouver le plugin Time?
Commençons par identifier exactement quel fichier est à l'origine du problème - quelque chose comme
$ find /usr/share -iname '*schema*' | grep gedit
/usr/share/glib-2.0/schemas/org.gnome.gedit.plugins.time.gschema.xml
/usr/share/glib-2.0/schemas/org.gnome.gedit.gschema.xml
/usr/share/glib-2.0/schemas/org.gnome.gedit.plugins.pythonconsole.gschema.xml
/usr/share/glib-2.0/schemas/org.gnome.gedit.plugins.externaltools.gschema.xml
/usr/share/glib-2.0/schemas/org.gnome.gedit.plugins.filebrowser.gschema.xml
Le premier résultat semble être le fichier que nous recherchons. Maintenant, nous pouvons vérifier quel package fournit ce fichier
$ dpkg -S /usr/share/glib-2.0/schemas/org.gnome.gedit.plugins.time.gschema.xml
gedit-common: /usr/share/glib-2.0/schemas/org.gnome.gedit.plugins.time.gschema.xml
Il ressemble donc à gedit-common
est le package approprié - en supposant que le fichier de schéma a été supprimé manuellement d'une manière ou d'une autre, vous devriez pouvoir le restaurer en réinstallant le package, soit à partir du gestionnaire de packages de l'interface graphique de votre choix, soit à partir du terminal utilisant
Sudo apt-get install --reinstall gedit-common