9ba8d602512e6c6caafc5414a1c7cb790d1a58a2
- Author
- TheEdgeOfRage <git@theedgeofrage.com>
- Committer
- TheEdgeOfRage <git@theedgeofrage.com>
- Date
Message
Make fuzzel font size configurable
Diff
This diff is truncated to protect this page.
1diff --git a/.chezmoiignore b/.chezmoiignore
2index b637a695be6ced14ba5752b47bf511a053729c83..4c02457f14a8b3fb96252ef5de9635d07a5066d2 100644
3--- a/.chezmoiignore
4+++ b/.chezmoiignore
5@@ -12,7 +12,7 @@ config_template.yaml
6 .config/gtk-2.0
7 .config/hypr
8 .config/mako
9-.config/rofi
10+.config/fuzzel
11 .config/uwsm
12 .config/user-dirs.dirs
13 .config/waybar
14diff --git a/config_template.yaml b/config_template.yaml
15index 7ee431dbd45119e9ac574f0a7b05cec7cae65ccf..ba28b5d1286a9d7f8ef99b96522e76bee7ceade7 100644
16--- a/config_template.yaml
17+++ b/config_template.yaml
18@@ -21,7 +21,7 @@ data:
19 size: '14'
20 cell_width: -1
21 cell_height: 1
22- rofi:
23+ fuzzel:
24 font:
25 size: '15'
26 zshrc:
27diff --git a/dot_config/fuzzel/fuzzel.ini b/dot_config/fuzzel/fuzzel.ini.tmpl
28rename from dot_config/fuzzel/fuzzel.ini
29rename to dot_config/fuzzel/fuzzel.ini.tmpl
30index e2ffb9b8cf10fbde0eb5ed854675f3c06abfdf02..e7752448fa1dfc9c146ab6a471b4daaa5d6934e1 100644
31--- a/dot_config/fuzzel/fuzzel.ini
32+++ b/dot_config/fuzzel/fuzzel.ini.tmpl
33@@ -1,5 +1,5 @@
34 # output=<not set>
35-font=MonoFont:size=15
36+font=MonoFont:size={{ .fuzzel.font.size }}
37 # dpi-aware=auto
38 # use-bold=no
39 # prompt="> "
40diff --git a/dot_config/rofi/config.rasi.tmpl b/dot_config/rofi/config.rasi.tmpl
41deleted file mode 100644
42index 2826ffa122c633a70c5e3189768c1b130af80cba..0000000000000000000000000000000000000000
43--- a/dot_config/rofi/config.rasi.tmpl
44+++ /dev/null
45@@ -1,14 +0,0 @@
46-configuration {
47- modi: "drun,ssh";
48- fixed-num-lines: true;
49- font: "MonoFont {{ .rofi.font.size }}";
50- location: 0;
51- show-icons: false;
52- terminal: "ghostty";
53- ssh-command: "{terminal} -e "{ssh-client} {host}"";
54- run-command: "{cmd}";
55- run-shell-command: "{terminal} -e "{cmd}"";
56- matching: "fuzzy";
57-}
58-
59-@import "gruvbox.rasi"
60diff --git a/dot_config/rofi/gruvbox-common.inc.rasi b/dot_config/rofi/gruvbox-common.inc.rasi
61deleted file mode 100644
62index baab8c741838883363eaaa4010ceda12bc80265a..0000000000000000000000000000000000000000
63--- a/dot_config/rofi/gruvbox-common.inc.rasi
64+++ /dev/null
65@@ -1,127 +0,0 @@
66-/* ==========================================================================
67- File: gruvbox-common.rasi
68- Desc: Shared rules between all gruvbox themes
69- Author: bardisty <b@bah.im>
70- Source: https://github.com/bardisty/gruvbox-rofi
71- Modified: Mon Feb 12 2018 06:06:47 PST -0800
72- ========================================================================== */
73-
74-window {
75- background-color: @background;
76- border: 0;
77- padding: 6;
78-}
79-
80-mainbox {
81- border: 0;
82- padding: 0;
83-}
84-
85-message {
86- border: 2px 0 0;
87- border-color: @separatorcolor;
88- padding: 1px;
89-}
90-
91-textbox {
92- highlight: @highlight;
93- text-color: @foreground;
94-}
95-
96-listview {
97- border: 2px solid 0 0;
98- padding: 2px 0 0;
99- border-color: @separatorcolor;
100- spacing: 2px;
101- scrollbar: @scrollbar;
102-}
103-
104-element {
105- border: 0;
106- padding: 0 2px;
107-}
108-
109-element.normal.normal {
110- background-color: @normal-background;
111- text-color: @normal-foreground;
112-}
113-
114-element.normal.urgent {
115- background-color: @urgent-background;
116- text-color: @urgent-foreground;
117-}
118-
119-element.normal.active {
120- background-color: @active-background;
121- text-color: @active-foreground;
122-}
123-
124-element.selected.normal {
125- background-color: @selected-normal-background;
126- text-color: @selected-normal-foreground;
127-}
128-
129-element.selected.urgent {
130- background-color: @selected-urgent-background;
131- text-color: @selected-urgent-foreground;
132-}
133-
134-element.selected.active {
135- background-color: @selected-active-background;
136- text-color: @selected-active-foreground;
137-}
138-
139-element.alternate.normal {
140- background-color: @alternate-normal-background;
141- text-color: @alternate-normal-foreground;
142-}
143-
144-element.alternate.urgent {
145- background-color: @alternate-urgent-background;
146- text-color: @alternate-urgent-foreground;
147-}
148-
149-element.alternate.active {
150- background-color: @alternate-active-background;
151- text-color: @alternate-active-foreground;
152-}
153-
154-scrollbar {
155- width: 4px;
156- border: 0;
157- handle-color: @scrollbar-handle;
158- handle-width: 8px;
159- padding: 0;
160-}
161-
162-sidebar {
163- border: 2px 0 0;
164- border-color: @separatorcolor;
165diff --git a/dot_config/rofi/gruvbox.rasi b/dot_config/rofi/gruvbox.rasi
166deleted file mode 100644
167index 8fdf734631d355c15ae52c9d5023522b96ce4ecd..0000000000000000000000000000000000000000
168--- a/dot_config/rofi/gruvbox.rasi
169+++ /dev/null
170@@ -1,47 +0,0 @@
171-* {
172- /* Theme settings */
173- highlight: bold italic;
174- scrollbar: false;
175-
176- /* Gruvbox dark colors */
177- gruvbox-dark-bg0-soft: #1d2021;
178- gruvbox-dark-bg1: #3c3836;
179- gruvbox-dark-fg0: #1d2021;
180- gruvbox-dark-fg1: #665c54;
181- gruvbox-dark-red-dark: #cc241d;
182- gruvbox-dark-red-light: #fb4934;
183- gruvbox-dark-yellow-dark: #d79921;
184- gruvbox-dark-yellow-light: #fabd2f;
185- gruvbox-dark-gray: #a89984;
186-
187- /* Theme colors */
188- background: @gruvbox-dark-bg0-soft;
189- background-color: @background;
190- foreground: @gruvbox-dark-fg1;
191- border-color: @background;
192- separatorcolor: @border-color;
193- scrollbar-handle: @border-color;
194-
195- normal-background: @background;
196- normal-foreground: @foreground;
197- alternate-normal-background: @background;
198- alternate-normal-foreground: @foreground;
199- selected-normal-background: @gruvbox-dark-fg1;
200- selected-normal-foreground: @gruvbox-dark-fg0;
201-
202- active-background: @gruvbox-dark-yellow-dark;
203- active-foreground: @background;
204- alternate-active-background: @active-background;
205- alternate-active-foreground: @active-foreground;
206- selected-active-background: @gruvbox-dark-yellow-light;
207- selected-active-foreground: @active-foreground;
208-
209- urgent-background: @gruvbox-dark-red-dark;
210- urgent-foreground: @background;
211- alternate-urgent-background: @urgent-background;
212- alternate-urgent-foreground: @urgent-foreground;
213- selected-urgent-background: @gruvbox-dark-red-light;
214- selected-urgent-foreground: @urgent-foreground;
215-}
216-
217-@import "gruvbox-common.inc"