The following changes were made:

* Added etc/default/grub * Added usher to manage etc/default/grub
2017-05-16 14:14:40 -05:00
parent 22cf05c4f2
commit 643dbc6cd2
3 changed files with 60 additions and 1 deletions
--- a/SNAP/usher
+++ b/SNAP/usher
@@ -0,0 +1,20 @@
+#!/bin/bash
+
+set -e
+
+case $1 in
+  preinst)
+    exit 0
+    ;;
+  postinst)
+    if [ ! -f ${TARGET}/etc/default/grub ]; then
+      cp ${TARGET}/usr/share/grub/grub.default ${TARGET}/etc/default/grub
+    fi
+    ;;
+  prerm)
+    exit 0
+    ;;
+  postrm)
+    exit 0
+    ;;
+esac