summaryrefslogtreecommitdiff
path: root/libre/gummiboot/gummiboot.install
diff options
context:
space:
mode:
authorcoadde [Márcio Alexandre Silva Delgado] <coadde@parabola.nu>2015-09-05 00:08:06 -0300
committerAndré Fabian Silva Delgado <emulatorman@parabola.nu>2015-09-22 16:15:00 -0300
commitdca89d3e1ba204a9bd87965105af85b726bd7dfc (patch)
tree11bbbc6a4a1eff30540ccd121898aad3ad1a33a2 /libre/gummiboot/gummiboot.install
parentcb4633c02e59e42cd71aca6438f246e2c636e4f9 (diff)
remove gummiboot, due gummiboot was merged into systemd (as systemd-boot); please use systemd-boot, grub or another bootloader
Diffstat (limited to 'libre/gummiboot/gummiboot.install')
-rw-r--r--libre/gummiboot/gummiboot.install13
1 files changed, 0 insertions, 13 deletions
diff --git a/libre/gummiboot/gummiboot.install b/libre/gummiboot/gummiboot.install
deleted file mode 100644
index 20861d4c8..000000000
--- a/libre/gummiboot/gummiboot.install
+++ /dev/null
@@ -1,13 +0,0 @@
-post_install() {
- mkdir -p /boot/EFI/gummiboot
- /usr/bin/gummiboot update
- echo ":: Run '/usr/bin/gummiboot install' to make gummiboot your default bootloader"
-}
-
-post_upgrade() {
- /usr/bin/gummiboot update
-}
-
-pre_remove() {
- /usr/bin/gummiboot remove
-}