From 637d9037dc665765c767eb91d0b66639a4a2bb67 Mon Sep 17 00:00:00 2001 From: Eric Teunis de Boone Date: Thu, 12 Nov 2020 19:14:22 +0100 Subject: [PATCH] Moved /boot/grub2 to /boot/grub --- boot/{grub2 => grub}/grub.cfg | 0 boot/{grub2 => grub}/isos.cfg | 0 boot/{grub2 => grub}/theming.cfg | 0 boot/iso/.gitignore | 2 ++ 4 files changed, 2 insertions(+) rename boot/{grub2 => grub}/grub.cfg (100%) rename boot/{grub2 => grub}/isos.cfg (100%) rename boot/{grub2 => grub}/theming.cfg (100%) create mode 100644 boot/iso/.gitignore diff --git a/boot/grub2/grub.cfg b/boot/grub/grub.cfg similarity index 100% rename from boot/grub2/grub.cfg rename to boot/grub/grub.cfg diff --git a/boot/grub2/isos.cfg b/boot/grub/isos.cfg similarity index 100% rename from boot/grub2/isos.cfg rename to boot/grub/isos.cfg diff --git a/boot/grub2/theming.cfg b/boot/grub/theming.cfg similarity index 100% rename from boot/grub2/theming.cfg rename to boot/grub/theming.cfg diff --git a/boot/iso/.gitignore b/boot/iso/.gitignore new file mode 100644 index 0000000..3788e34 --- /dev/null +++ b/boot/iso/.gitignore @@ -0,0 +1,2 @@ +# This is merely as a keeper for this directory +*