diff options
| author | bill-auger <mr.j.spam.me@gmail.com> | 2019-05-21 10:54:11 -0400 |
|---|---|---|
| committer | bill-auger <mr.j.spam.me@gmail.com> | 2019-06-08 13:25:50 -0400 |
| commit | 07c95d298d9406ab51a01e0e8fbed5993727f31e (patch) | |
| tree | e940ba1406cb7c2d1a40e5f23c33215da43041fd /bin/set-grub-theme.sh | |
| parent | 840c4e5224122675ebd8e2dbc4068fa3563737f3 (diff) | |
squashme - bug fixgrub-theme-switch
Diffstat (limited to 'bin/set-grub-theme.sh')
| -rw-r--r-- | bin/set-grub-theme.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bin/set-grub-theme.sh b/bin/set-grub-theme.sh index f3f52fe..5774c99 100644 --- a/bin/set-grub-theme.sh +++ b/bin/set-grub-theme.sh @@ -1,6 +1,6 @@ #!/bin/bash -readonly THEME_PKG_OR_DIR=$1 +readonly THEME_PKG_OR_DIR=$1 # or stdin? readonly GRUB_DIR=/boot/grub readonly THEMES_DIR=$GRUB_DIR/themes readonly THEME_FILENAME='theme.txt' |