summarylogtreecommitdiffstats
path: root/arch-silence-grub-theme-git.install
diff options
context:
space:
mode:
authorMark Tompkins2019-12-08 11:18:07 -0600
committerMark Tompkins2019-12-08 11:18:07 -0600
commit57af2fd6f94728c2f9e0058ed5223b529ba5bf18 (patch)
tree7a8a6ee6f3f4bc66bd51b8b73f9ae66d4279be0b /arch-silence-grub-theme-git.install
downloadaur-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.install11
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 00000000000..95dc9e86a14
--- /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.'
+}