From 6905e2bf038fce27cb49f1f3aba6d36279091bd4 Mon Sep 17 00:00:00 2001 From: JaKooLit Date: Tue, 18 Feb 2025 17:53:14 +0900 Subject: updated rofi configs --- copy.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'copy.sh') diff --git a/copy.sh b/copy.sh index 722ca214..84a1a215 100755 --- a/copy.sh +++ b/copy.sh @@ -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 -- cgit v1.2.3