When `home-manager switch` turns off extensions in gnome

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