da157.id
0xda157's home-manager and nixos config
remove unused zen workspaces
+3
-13
modules/users/da157/gui/firefox/zen-browser/profiles.nix
+3
-13
modules/users/da157/gui/firefox/zen-browser/profiles.nix
···
85
position = 2;
86
icon = "🌐";
87
};
88
-
evo-bio = {
89
-
id = "0490db36-1bbd-4af8-8b5c-d94ff176a1eb";
90
-
position = 3;
91
-
icon = "🐒";
92
-
};
93
english = {
94
id = "75341349-e875-4ef1-ba24-0a06a754a957";
95
-
position = 4;
96
icon = "📖";
97
};
98
comp-sci = {
99
id = "5492dae8-b24c-4871-a388-286fb33ccf30";
100
-
position = 5;
101
icon = "💻";
102
};
103
math = {
104
id = "78eab7f5-ec70-4867-a8fa-6d4a0045a145";
105
-
position = 6;
106
icon = "🧮";
107
-
};
108
-
robotics = {
109
-
id = "03e5b47c-88c6-45e4-a8b4-ba2aabda42dc";
110
-
position = 7;
111
-
icon = "🤖";
112
};
113
};
114
pins = {
···
85
position = 2;
86
icon = "🌐";
87
};
88
english = {
89
id = "75341349-e875-4ef1-ba24-0a06a754a957";
90
+
position = 3;
91
icon = "📖";
92
};
93
comp-sci = {
94
id = "5492dae8-b24c-4871-a388-286fb33ccf30";
95
+
position = 4;
96
icon = "💻";
97
};
98
math = {
99
id = "78eab7f5-ec70-4867-a8fa-6d4a0045a145";
100
+
position = 5;
101
icon = "🧮";
102
};
103
};
104
pins = {