1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25 { pkgs, ... }:
{
home.packages = [ pkgs.gnomeExtensions.dash-to-dock ];
dconf.settings = {
"org/gnome/shell" = {
disable-user-extensions = false;
enabled-extensions = [
pkgs.gnomeExtensions.dash-to-dock.extensionUuid
];
};
"org/gnome/shell/extensions/dash-to-dock" = {
multi-monitor = true;
apply-custom-theme = true;
custom-theme-shrink = true;
show-show-apps-button = false;
show-mounts = false;
hot-keys = false;
};
};
}