diff options
| author | Ja.KooLit <85185940+JaKooLit@users.noreply.github.com> | 2025-02-16 11:30:30 +0900 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-02-16 11:30:30 +0900 |
| commit | 3d80ab17e0433ccbbf5195fe87a002f05145b770 (patch) | |
| tree | 02bbf3400803c417c7ba02aeb3b7e38093cfc1af | |
| parent | 8acfbb16d5ef45960a13cb9768517d3c418771a6 (diff) | |
| parent | bf9eec3adca11d1536e911a94a839dd4f2029417 (diff) | |
Merge pull request #557 from JaKooLit/development
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 |