J'ai téléchargé et installé plusieurs extensions gnome-shell sur le site officiel de Gnome. Mais, je ne veux pas les installer à chaque fois, je réinstalle mon Ubuntu. Je souhaite disposer d'une fonctionnalité permettant de sauvegarder ces extensions et de les restaurer selon les besoins.
Comment puis je faire ça?
Les extensions gnome-Shell téléchargées sont stockées dans le dossier .local/share/gnome-Shell/extensions
de votre dossier de répertoire personnel. Copiez le dossier des extensions et stockez-les ailleurs.
Lorsque vous devez restaurer ces extensions, copiez et collez le dossier extensions
stocké dans votre dossier .local/share/gnome-Shell
. Déconnexion et connexion.
Je suppose que je l'ai compris. Vous devez remplacer (après la sauvegarde, pour des raisons de sécurité) les trois dossiers suivants par ceux précédemment sauvegardés à partir du système que vous souhaitez cloner:
~/.local/share/gnome-Shell/extensions
~/.local/share/gnome-Shell/quicklaunch
~/.config/dconf
Puis déconnectez-vous et connectez-vous.
Faites-moi savoir si cela fonctionne ou si vous trouvez de meilleurs moyens!
(testé sur Ubuntu Gnome Shell Remix 12.04)
Le moyen le plus simple consiste à utiliser le connecteur chromé .
Tout ce que vous avez à faire est de cliquer avec le bouton droit de la souris sur les extensions, d’accéder aux options et de vous assurer que "Synchroniser la liste des extensions de GNOME Shell" est activé. Après avoir réinstallé ubuntu, vous devez réinstaller ces extensions chrome et désactiver/réactiver ces options de synchronisation. On vous demandera quelle liste d’extensions utiliser, distante ou locale et vous pourrez choisir la liste distante.
Le seul bémol que j’ai trouvé jusqu’à présent est que les paramètres des extensions ne sont pas sauvegardés aussi.
les extensions de gnome sont là: /usr/share/gnome-Shell/extensions
(Sudo cp
évidemment)
pour les réinstaller, recopiez-les dans .local/share/gnome-Shell/extensions
(vous devrez les réactiver dans gnome Tweak puis redémarrez la session)