1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21 { 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;
};
};
}