diff options
| author | JaKooLit <ejhay.games@gmail.com> | 2025-02-18 17:53:14 +0900 |
|---|---|---|
| committer | JaKooLit <ejhay.games@gmail.com> | 2025-02-18 17:53:14 +0900 |
| commit | 6905e2bf038fce27cb49f1f3aba6d36279091bd4 (patch) | |
| tree | 82532f4084cc723dff335146991cc0df280e5972 /copy.sh | |
| parent | 3df33e1a679c6331e608ca4ca2036f5d9e96ef25 (diff) | |
updated rofi configs
Diffstat (limited to 'copy.sh')
| -rwxr-xr-x | copy.sh | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -333,7 +333,7 @@ if [ "$resolution" == "< 1440p" ]; then # Change rofi font size find "$themes_dir" -type f | while read -r file; do if grep -Pzoq 'element-text {\n font: "JetBrainsMono Nerd Font SemiBold 12";\n}' "$file"; then - sed -i 's/font: "JetBrainsMono Nerd Font SemiBold 12"/font: "JetBrainsMono Nerd Font SemiBold 11"/' "$file" + sed -i 's/font: "JetBrainsMono Nerd Font SemiBold 12"/font: "JetBrainsMono Nerd Font SemiBold 10"/' "$file" fi done |
