diff options
| author | Omar Vega Ramos <ovruni@gnu.org.pe> | 2018-08-04 10:33:11 -0500 |
|---|---|---|
| committer | Omar Vega Ramos <ovruni@gnu.org.pe> | 2018-08-04 10:33:11 -0500 |
| commit | 1bc922598675f9ae84e2442a2e2b1ae91340240d (patch) | |
| tree | c3a98b8f57bed69d5478f677ff47904142edfa95 | |
| parent | a5f147d0ef40f6eaeaa887715613f715872b5e54 (diff) | |
| download | abslibre-1bc922598675f9ae84e2442a2e2b1ae91340240d.tar.gz abslibre-1bc922598675f9ae84e2442a2e2b1ae91340240d.tar.bz2 abslibre-1bc922598675f9ae84e2442a2e2b1ae91340240d.zip | |
Removing grub-customizer: This package is in [community] repo
| -rw-r--r-- | pcr/grub-customizer/PKGBUILD | 39 | ||||
| -rw-r--r-- | pcr/grub-customizer/grub-customizer.install | 9 | ||||
| -rw-r--r-- | pcr/grub-customizer/grub.cfg | 8 |
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 |