1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18 { pkgs, ... }:
{
home.packages = [ pkgs.gnomeExtensions.pip-on-top ];
dconf.settings = {
"org/gnome/shell" = {
disable-user-extensions = false;
enabled-extensions = [
pkgs.gnomeExtensions.pip-on-top.extensionUuid
];
};
"org/gnome/shell/extensions/pip-on-top".stick = true;
};
}