summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--pcr/grub-customizer/PKGBUILD39
-rw-r--r--pcr/grub-customizer/grub-customizer.install9
-rw-r--r--pcr/grub-customizer/grub.cfg8
3 files changed, 0 insertions, 56 deletions
diff --git a/pcr/grub-customizer/PKGBUILD b/pcr/grub-customizer/PKGBUILD
deleted file mode 100644
index c37b68137..000000000
--- a/pcr/grub-customizer/PKGBUILD
+++ /dev/null
@@ -1,39 +0,0 @@
-# Maintainer: David P. <megver83@parabola.nu>
-# Contributor: 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
deleted file mode 100644
index 891a566f2..000000000
--- a/pcr/grub-customizer/grub-customizer.install
+++ /dev/null
@@ -1,9 +0,0 @@
-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
deleted file mode 100644
index 9762dcef4..000000000
--- a/pcr/grub-customizer/grub.cfg
+++ /dev/null
@@ -1,8 +0,0 @@
-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