diff options
author | Mark Tompkins | 2019-12-08 11:18:07 -0600 |
---|---|---|
committer | Mark Tompkins | 2019-12-08 11:18:07 -0600 |
commit | 57af2fd6f94728c2f9e0058ed5223b529ba5bf18 (patch) | |
tree | 7a8a6ee6f3f4bc66bd51b8b73f9ae66d4279be0b /arch-silence-grub-theme-git.install | |
download | aur-57af2fd6f94728c2f9e0058ed5223b529ba5bf18.tar.gz |
Init repo with GIT annotation
Diffstat (limited to 'arch-silence-grub-theme-git.install')
-rw-r--r-- | arch-silence-grub-theme-git.install | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/arch-silence-grub-theme-git.install b/arch-silence-grub-theme-git.install new file mode 100644 index 000000000000..95dc9e86a140 --- /dev/null +++ b/arch-silence-grub-theme-git.install @@ -0,0 +1,11 @@ +post_install() { + echo '==> To select the arch-silence theme you must:' + echo '==> 1. Open the file "/etc/default/grub" and inside it update the variable GRUB_THEME="/boot/grub/themes/arch-silence/theme.txt"' + echo '==> 2. Update the grub config by running "sudo grub-mkconfig -o /boot/grub/grub.cfg"' +} + +# should run in the pre phase and check that a different theme was chosen +# if this is not the case then the removal should be denied +post_remove() { + echo '==> Make sure you selected a different theme and updated your grub config.' +} |