]> git.pld-linux.org Git - packages/efi-boot-update.git/commitdiff
'grub-installed' module added
authorJacek Konieczny <j.konieczny@eggsoft.pl>
Wed, 31 Oct 2012 13:16:09 +0000 (14:16 +0100)
committerJacek Konieczny <jajcus@jajcus.net>
Wed, 31 Oct 2012 13:16:23 +0000 (14:16 +0100)
efi-boot-update.spec
grub-installed.conf [new file with mode: 0644]

index 32cc0e9022d69c43b10ad6dabb43ae0d0e2b9464..505ba152dac4751c40641d99b2bc0deac30a7415 100644 (file)
@@ -11,6 +11,7 @@ Source1:      update.conf
 Source2:       shellx64.conf
 Source3:       shellia32.conf
 Source4:       grub.conf
+Source5:       grub-installed.conf
 Source10:      README
 Source11:      TODO
 URL:           http://www.pld-linux.org/
@@ -40,7 +41,8 @@ install -d $RPM_BUILD_ROOT{/lib/efi/{ia32,x64},%{_sbindir},%{_mandir}/man8}
 install %{name} $RPM_BUILD_ROOT%{_sbindir}/%{name}
 install %{name}.8 $RPM_BUILD_ROOT%{_mandir}/man8/%{name}.8
 install %{SOURCE1} $RPM_BUILD_ROOT/etc/efi-boot
-install %{SOURCE2} %{SOURCE3} %{SOURCE4} $RPM_BUILD_ROOT/etc/efi-boot/update.d
+install %{SOURCE2} %{SOURCE3} %{SOURCE4} %{SOURCE5} \
+                               $RPM_BUILD_ROOT/etc/efi-boot/update.d
 
 %clean
 rm -rf $RPM_BUILD_ROOT
diff --git a/grub-installed.conf b/grub-installed.conf
new file mode 100644 (file)
index 0000000..df3ee1a
--- /dev/null
@@ -0,0 +1,8 @@
+#
+# This module just adds a label for GRUB already installed with grub-install
+# so it can be included in efi-boot-update managed boot order
+#
+
+ENABLED=yes
+BINARY=/EFI/grub/grubx64.efi
+LABEL="GRUB (preinstalled)"
This page took 0.085912 seconds and 4 git commands to generate.