{ pkgs, ... }: { home.packages = [ pkgs.gnomeExtensions.space-bar ]; dconf.settings = { "org/gnome/shell" = { disable-user-extensions = false; enabled-extensions = [ pkgs.gnomeExtensions.space-bar.extensionUuid ]; }; "org/gnome/shell/extensions/space-bar/behavior" = { show-empty-workspaces = false; always-show-numbers = true; }; }; }