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