New package: grub-customizer-5.0.6

Closes: #10302
This commit is contained in:
Jürgen Buchmüller 2017-12-31 14:10:52 +01:00
parent 24afcd8bfa
commit d86f2778dc
3 changed files with 51 additions and 0 deletions

View File

@ -0,0 +1,9 @@
# Example configuration for grub-customizer
MKCONFIG_CMD=grub-mkconfig
UPDATE_CMD=grub-mkconfig -o /boot/grub/grub.cfg
INSTALL_CMD=grub-install
MKFONT_CMD=grub-mkfont
CFG_DIR=/etc/grub.d
OUTPUT_DIR=/boot/grub
OUTPUT_FILE=/boot/grub/grub.cfg
SETTINGS_FILE=/etc/default/grub

View File

@ -0,0 +1,13 @@
--- src/lib/Helper.hpp 2016-04-21 21:35:42.000000000 +0200
+++ src/lib/Helper.hpp 2017-12-31 14:17:46.039358681 +0100
@@ -26,6 +26,10 @@
# define ASSERT_VOID_CAST static_cast<void>
+#if !defined(__STRING)
+#define __STRING(x) #x
+#endif
+
# define assert(expr) \
((expr) \
? ASSERT_VOID_CAST (0) \

View File

@ -0,0 +1,29 @@
# Template file for 'grub-customizer'
pkgname=grub-customizer
version=5.0.6
revision=1
build_style=cmake
hostmakedepends="pkg-config"
makedepends="gtkmm-devel libressl-devel libarchive-devel"
depends="hicolor-icon-theme grub-utils"
conf_files="/etc/grub-customizer/grub.cfg"
only_for_archs="i686 i686-musl x86_64 x86_64-musl"
short_desc="Graphical grub2 settings manager"
maintainer="Jürgen Buchmüller <pullmoll@t-online.de>"
license="GPL-3"
homepage="https://launchpad.net/grub-customizer/"
distfiles="https://launchpad.net/${pkgname}/${version%.*}/${version}/+download/${pkgname}_${version}.tar.gz"
checksum=c5a0d21c08b2215170b96294c7d7d96bd7588302b737bb3c06a1112bc074bdd3
pre_configure() {
# Modify desktop file for Void Linux
sed -i misc/grub-customizer.desktop \
-e '/^Categories=/s/Settings/GTK/' \
-e '/^X-Ubuntu/d' \
-e '/^X-KDE/d'
}
post_install() {
vinstall ${FILESDIR}/grub.cfg 644 etc/grub-customizer grub.cfg
vdoc changelog
}