Come posso abilitare/disabilitare le estensioni GNOME dalla riga di comando?
Ho realizzato una gif animata di quello che sto cercando di fare dal terminale per spiegarlo meglio. Non sto cercando di abilitare o disabilitare una sola estensione .
Ho guardato gnome-tweaks -h
ma non ha l'opzione che sto cercando.
Options:
--version show program's version number and exit
-h, --help show this help message and exit
-t, --test Enable test and debug code
-l, --load Load all tweaks
-p [/, /usr], --prefix=[/, /usr]
Installation prefix (for gsettings schema, themes,
etc)
-v, --verbose Print the names of settings modified
-d, --debug Enable debug output
Risposta accettata:
Corri
gsettings set org.gnome.shell disable-user-extensions true
per disabilitare tutte le estensioni abilitate dall'utente (ricorderà quali estensioni sono attualmente abilitate, non disabiliterà le estensioni singolarmente).
Allo stesso modo, esegui
gsettings set org.gnome.shell disable-user-extensions false
per abilitare le estensioni.