diff options
| author | JaKooLit <ejhay.games@gmail.com> | 2025-02-16 11:29:18 +0900 |
|---|---|---|
| committer | JaKooLit <ejhay.games@gmail.com> | 2025-02-16 11:29:46 +0900 |
| commit | 654ad177939265ddf70c1b814a378a7eae564de0 (patch) | |
| tree | 02bbf3400803c417c7ba02aeb3b7e38093cfc1af | |
| parent | 0c53ef536ca2f028672004e909daac5473e6110f (diff) | |
minor change on copy.sh
| -rwxr-xr-x | copy.sh | 6 |
1 files changed, 3 insertions, 3 deletions
@@ -646,12 +646,12 @@ if [ ! -d "$rofi_DIR" ]; then fi if [ -d "$HOME/.config/rofi/themes" ]; then if [ -z "$(ls -A $HOME/.config/rofi/themes)" ]; then - echo '/* Default Rofi theme */' > "$HOME/.config/rofi/themes/default.rasi" + echo '/* Dummy Rofi theme */' > "$HOME/.config/rofi/themes/dummy.rasi" fi ln -snf ~/.config/rofi/themes/* ~/.local/share/rofi/themes/ # Delete the dummy file if it was created - if [ -f "$HOME/.config/rofi/themes/default.rasi" ]; then - rm "$HOME/.config/rofi/themes/default.rasi" + if [ -f "$HOME/.config/rofi/themes/dummy.rasi" ]; then + rm "$HOME/.config/rofi/themes/dummy.rasi" fi fi |