Github messages for voidlinux
 help / color / mirror / Atom feed
* [PR PATCH] efibootmgr: add option to set partition number of EFI partition
@ 2019-07-08 10:21 voidlinux-github
  2019-07-08 19:25 ` [PR PATCH] [Merged]: " voidlinux-github
  2019-07-08 20:36 ` voidlinux-github
  0 siblings, 2 replies; 3+ messages in thread
From: voidlinux-github @ 2019-07-08 10:21 UTC (permalink / raw)
  To: ml

[-- Attachment #1: Type: text/plain, Size: 519 bytes --]

There is a new pull request by ackalker against master on the void-packages repository

https://github.com/ackalker/void-packages efibootmgr-add-part-option
https://github.com/void-linux/void-packages/pull/12899

efibootmgr: add option to set partition number of EFI partition
This is useful when ESP is not the first partition, for instance if it
is added after some existing partitions during switch from BIOS to
UEFI boot.

A patch file from https://github.com/void-linux/void-packages/pull/12899.patch is attached

[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #2: github-pr-efibootmgr-add-part-option-12899.patch --]
[-- Type: application/text/x-diff, Size: 2101 bytes --]

From 3f7ce5b3f44efd683ac8ea62b01d3f24c6682fd0 Mon Sep 17 00:00:00 2001
From: Alain Kalker <a.c.kalker@gmail.com>
Date: Mon, 8 Jul 2019 12:07:32 +0200
Subject: [PATCH] efibootmgr: add option to set partition number of EFI
 partition

This is useful when ESP is not the first partition, for instance if it
is added after some existing partitions during switch from BIOS to
UEFI boot.
---
 srcpkgs/efibootmgr/files/efibootmgr-kernel-hook.confd     | 2 ++
 srcpkgs/efibootmgr/files/kernel.d/efibootmgr.post-install | 3 +++
 srcpkgs/efibootmgr/template                               | 2 +-
 3 files changed, 6 insertions(+), 1 deletion(-)

diff --git a/srcpkgs/efibootmgr/files/efibootmgr-kernel-hook.confd b/srcpkgs/efibootmgr/files/efibootmgr-kernel-hook.confd
index fb704e7b2ec..374a2684882 100644
--- a/srcpkgs/efibootmgr/files/efibootmgr-kernel-hook.confd
+++ b/srcpkgs/efibootmgr/files/efibootmgr-kernel-hook.confd
@@ -6,3 +6,5 @@ MODIFY_EFI_ENTRIES=0
 # OPTIONS="root=/dev/sda3 loglevel=4 slub_debug=P page_poison=1"
 # Disk where EFI Partition is.  Default is /dev/sda
 # DISK="/dev/sda"
+# Partition number of EFI Partition.  Default is 1
+# PART=1
diff --git a/srcpkgs/efibootmgr/files/kernel.d/efibootmgr.post-install b/srcpkgs/efibootmgr/files/kernel.d/efibootmgr.post-install
index 55bde1bce26..adf523e7b1f 100644
--- a/srcpkgs/efibootmgr/files/kernel.d/efibootmgr.post-install
+++ b/srcpkgs/efibootmgr/files/kernel.d/efibootmgr.post-install
@@ -18,6 +18,9 @@ args=""
 if [ "x${DISK}" != x ]; then
 	args="-d $DISK"
 fi
+if [ "x${PART}" != x ]; then
+	args="$args -p $PART"
+fi
 
 # get major version, e.g. "4.8" for "linux4.8"
 major_version=$(echo $PKGNAME | cut -c 6-)
diff --git a/srcpkgs/efibootmgr/template b/srcpkgs/efibootmgr/template
index 2545291e6c6..adcf20fcd8a 100644
--- a/srcpkgs/efibootmgr/template
+++ b/srcpkgs/efibootmgr/template
@@ -1,7 +1,7 @@
 # Template file for 'efibootmgr'
 pkgname=efibootmgr
 version=17
-revision=2
+revision=3
 hostmakedepends="pkg-config"
 makedepends="libefivar-devel popt-devel"
 short_desc="Tool to modify UEFI Firmware Boot Manager Variables"

^ permalink raw reply	[flat|nested] 3+ messages in thread

* Re: [PR PATCH] [Merged]: efibootmgr: add option to set partition number of EFI partition
  2019-07-08 10:21 [PR PATCH] efibootmgr: add option to set partition number of EFI partition voidlinux-github
@ 2019-07-08 19:25 ` voidlinux-github
  2019-07-08 20:36 ` voidlinux-github
  1 sibling, 0 replies; 3+ messages in thread
From: voidlinux-github @ 2019-07-08 19:25 UTC (permalink / raw)
  To: ml

[-- Attachment #1: Type: text/plain, Size: 346 bytes --]

There's a merged pull request on the void-packages repository

efibootmgr: add option to set partition number of EFI partition
https://github.com/void-linux/void-packages/pull/12899
Description: This is useful when ESP is not the first partition, for instance if it
is added after some existing partitions during switch from BIOS to
UEFI boot.

^ permalink raw reply	[flat|nested] 3+ messages in thread

* Re: efibootmgr: add option to set partition number of EFI partition
  2019-07-08 10:21 [PR PATCH] efibootmgr: add option to set partition number of EFI partition voidlinux-github
  2019-07-08 19:25 ` [PR PATCH] [Merged]: " voidlinux-github
@ 2019-07-08 20:36 ` voidlinux-github
  1 sibling, 0 replies; 3+ messages in thread
From: voidlinux-github @ 2019-07-08 20:36 UTC (permalink / raw)
  To: ml

[-- Attachment #1: Type: text/plain, Size: 148 bytes --]

New comment by ackalker on void-packages repository

https://github.com/void-linux/void-packages/pull/12899#issuecomment-509381936
Comment:
Thanks!

^ permalink raw reply	[flat|nested] 3+ messages in thread

end of thread, other threads:[~2019-07-08 20:36 UTC | newest]

Thread overview: 3+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2019-07-08 10:21 [PR PATCH] efibootmgr: add option to set partition number of EFI partition voidlinux-github
2019-07-08 19:25 ` [PR PATCH] [Merged]: " voidlinux-github
2019-07-08 20:36 ` voidlinux-github

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).