Last active
September 14, 2024 16:00
-
-
Save balderclaassen/d12cfb70b1695c11402116d8b7f79059 to your computer and use it in GitHub Desktop.
Backup, reset, restore, configuration of a gnome extension.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
How to export (backup), reset to defaults and import (restore) the configuration of a gnome extension. | |
// prints the whole config to a file | |
dconf dump /org/gnome/shell/extensions/<extension-name>/ > ~/<backupfile> | |
// Resets the config to defaults (might wanna check first if the dump was a succes by opening the file) | |
dconf reset -f /org/gnome/shell/extensions/<extension-name>/ | |
// Loads configuration from a file into your gnome-shell | |
dconf load /org/gnome/shell/extensions/<extension-name>/ < ~/<backupfile> | |
From what I can tell a good way to determine <extension-name> is from its url at https://extensions.gnome.org | |
However its better to be safe and launch dconf editor , browse to /org/gnome/shell/extensions/ and check the name. | |
Output of a dump might look something like this (with more lines below it but no ending tag): | |
[/] | |
animation-time=0.10000000000000001 | |
shortcuts-panel-show-running=true | |
dock-edge-visible=false | |
hide-delay=2.0 |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
dconf dump /org/gnome/ > backup.txt
is convenient for me!