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
|
// Modules
export const bar = {
wsPerGroup: 10,
dateTimeFormat: "%d/%m/%y %R",
};
export const launcher = {
maxResults: 15,
fdOpts: ["-a", "-t", "f"],
pins: [
["firefox", "waterfox", "google-chrome", "chromium", "brave-browser", "vivaldi-stable", "vivaldi-snapshot"],
["foot", "alacritty", "kitty", "wezterm"],
["thunar", "nemo", "nautilus"],
["codium", "code", "clion", "intellij-idea-ultimate-edition"],
["spotify-adblock", "spotify", "audacious", "elisa"],
],
};
export const notifpopups = {
maxPopups: -1,
expire: false,
};
// Services
export const updates = {
interval: 900000,
};
|
