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
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
{ pkgs, lib, ... }:
{
home = {
packages = [ pkgs.networkmanager_dmenu ];
file.".config/networkmanager-dmenu/config.ini".text = lib.generators.toINI { } {
dmenu = {
dmenu_command = "${lib.getExe pkgs.fuzzel} --anchor=top-right --x-margin=13 --y-margin=13";
active_chars = "==";
highlight = true;
highlight_bold = true;
compact = false;
pinentry = lib.getExe pkgs.pinentry-gnome3;
wifi_icons = "";
format = "{name:<{max_len_name}s} {sec:<{max_len_sec}s} {icon:>4}";
list_saved = false;
prompt = "Networks";
};
dmenu_passphrase = {
obscure = false;
obscure_color = "#222222";
};
pinentry = {
description = "Get network password";
prompt = "Password:";
};
editor = {
terminal = lib.getExe pkgs.ghostty;
gui_if_available = true;
gui = "${pkgs.networkmanagerapplet}/bin/nm-connection-editor";
};
nmdm.rescan_delay = 5;
};
};
}