diff options
author | David P <megver83@openmailbox.org> | 2017-04-05 15:11:24 -0300 |
---|---|---|
committer | David P <megver83@openmailbox.org> | 2017-04-05 15:11:24 -0300 |
commit | 15cd050b457ae48239c6aabb03f5a9aa32079acb (patch) | |
tree | 85859c61c475878a645b170c08c25b5ffcd77f5e | |
parent | 302ce6e26f73865fb30535e4733952c024b3bc2c (diff) | |
download | abslibre-15cd050b457ae48239c6aabb03f5a9aa32079acb.tar.gz abslibre-15cd050b457ae48239c6aabb03f5a9aa32079acb.tar.bz2 abslibre-15cd050b457ae48239c6aabb03f5a9aa32079acb.zip |
Added grub-customizer to [pcr]
-rw-r--r-- | pcr/grub-customizer/PKGBUILD | 38 | ||||
-rw-r--r-- | pcr/grub-customizer/grub-customizer.install | 9 | ||||
-rw-r--r-- | pcr/grub-customizer/grub.cfg | 8 |
3 files changed, 55 insertions, 0 deletions
diff --git a/pcr/grub-customizer/PKGBUILD b/pcr/grub-customizer/PKGBUILD new file mode 100644 index 000000000..07c4a3066 --- /dev/null +++ b/pcr/grub-customizer/PKGBUILD @@ -0,0 +1,38 @@ +# Maintainer: David Runge <dave@sleepmap.de> + +pkgname=grub-customizer +pkgver=5.0.6 +pkgbranch=5.0 +pkgrel=3 +pkgdesc="A graphical grub2 settings manager" +url="https://launchpad.net/grub-customizer" +arch=('i686' 'x86_64') +license=("GPL3") +depends=('gtkmm3' 'openssl' 'hicolor-icon-theme' 'grub-common' 'libarchive' ) +optdepends=('hwinfo') +makedepends=('cmake') +provides=(grub-customizer) +backup=('etc/grub-customizer/grub.cfg') +options=() +install=${pkgname}.install +source=("https://launchpad.net/${pkgname}/${pkgbranch}/${pkgver}/+download/${pkgname}_${pkgver}.tar.gz" \ + grub.cfg) +md5sums=('9c8f40bfbe0476c57bf6269ba5c9535c' + 'f914f23d66341925238fd0d1922d2b85') +package(){ + cd "$srcdir"/$pkgname-$pkgver/ + msg "Starting make..." + cmake -DCMAKE_INSTALL_PREFIX=/usr .&& make + make install DESTDIR=${pkgdir} || return 1 + msg "Modifying grub-customizer.desktop file..." + sed -i -e '/^Categories=/s/Settings/GTK/' \ + -e '/^X-Ubuntu/d' \ + -e '/^X-KDE/d' "$pkgdir"/usr/share/applications/grub-customizer.desktop + msg "Installing custom config to: /etc/grub-customizer/grub.cfg" + install -d ${pkgdir}/etc/grub-customizer + install -Dm644 ${srcdir}/grub.cfg ${pkgdir}/etc/grub-customizer/grub.cfg + msg "Installing changelog to: /usr/share/doc/grub-customizer/CHANGELOG" + install -d ${pkgdir}/usr/share/doc/grub-customizer/ + install -Dm644 changelog ${pkgdir}/usr/share/doc/grub-customizer/CHANGELOG +} +# vim:set ts=2 sw=2 et: diff --git a/pcr/grub-customizer/grub-customizer.install b/pcr/grub-customizer/grub-customizer.install new file mode 100644 index 000000000..891a566f2 --- /dev/null +++ b/pcr/grub-customizer/grub-customizer.install @@ -0,0 +1,9 @@ +post_install() { + gtk-update-icon-cache -q -t -f usr/share/icons/hicolor +} +post_upgrade() { + gtk-update-icon-cache -q -t -f usr/share/icons/hicolor +} +post_remove() { + gtk-update-icon-cache -q -t -f usr/share/icons/hicolor +} diff --git a/pcr/grub-customizer/grub.cfg b/pcr/grub-customizer/grub.cfg new file mode 100644 index 000000000..9762dcef4 --- /dev/null +++ b/pcr/grub-customizer/grub.cfg @@ -0,0 +1,8 @@ +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 |