How to make it so that home-manager switch
in gnome does not disable extensions?
You can use home-manager’s dconf.settings for this. For example:
dconf.settings = {
"org/gnome/shell" = {
enabled-extensions = [
"appindicatorsupport@rgcjonas.gmail.com"
"dash-to-panel@jderose9.github.com"
"paperwm@paperwm.github.com"
"user-theme@gnome-shell-extensions.gcampax.github.com"
];
};
};
You can also run gnome-extensions list
to get the extension names that you need to put in the list.
PS: You should check out dconf2nix, which is a tool that can convert your gnome settings to Nix configuration that can be used by home-manager.
1 Like