[arch-commits] Commit in grub-customizer/repos/community-x86_64 (4 files)

[David Runge]

    Date: Monday, October 15, 2018 @ 17:48:37
  Author: dvzrv
Revision: 394250

archrelease: copy trunk to community-x86_64

Added:
  grub-customizer/repos/community-x86_64/PKGBUILD
    (from rev 394249, grub-customizer/trunk/PKGBUILD)
  grub-customizer/repos/community-x86_64/grub.cfg
    (from rev 394249, grub-customizer/trunk/grub.cfg)
Deleted:
  grub-customizer/repos/community-x86_64/PKGBUILD
  grub-customizer/repos/community-x86_64/grub.cfg

----------+
 PKGBUILD |   84 +++++++++++++++++++++++++++++--------------------------------
 grub.cfg |   16 +++++------
 2 files changed, 49 insertions(+), 51 deletions(-)

Deleted: PKGBUILD
===================================================================
--- PKGBUILD	2018-10-15 17:48:31 UTC (rev 394249)
+++ PKGBUILD	2018-10-15 17:48:37 UTC (rev 394250)
@@ -1,43 +0,0 @@
-# $Id$
-# Maintainer: David Runge <dave at sleepmap.de>
-
-pkgname=grub-customizer
-pkgver=5.0.8
-pkgrel=2
-pkgdesc="A graphical grub2 settings manager"
-url="https://launchpad.net/grub-customizer"
-arch=('x86_64')
-license=('GPL3')
-depends=('grub' 'gtkmm3' 'libarchive')
-optdepends=('hwinfo: Additional hardware information'
-            'polkit: Run grub-customizer from menu')
-makedepends=('cmake')
-provides=('grub-customizer')
-backup=('etc/grub-customizer/grub.cfg')
-source=("https://launchpad.net/${pkgname}/${pkgver%.*}/${pkgver}/+download/${pkgname}_${pkgver}.tar.gz"
-        'grub.cfg')
-sha512sums=('ce8a4893fd4591ad2319009421f91f97f2e977b5198bf3c6b73e89c022f38bbbdec12e930984fd9167df9f8587f58b13d2296c6d92cd1cc8a179380dc0747975'
-            '40156b6546a4d7e8abbef2ab3dece0481a4a2ca276b9a15c5a7bf7e3b11004335b6a747be391b5c1accb35c9e9e3bc628e571cd245e5f2980e5ecd6a3ceb24f5')
-
-prepare(){
-  cd "${pkgname}-${pkgver}"
-  mkdir -p build
-}
-
-build(){
-  cd "${pkgname}-${pkgver}/build"
-  cmake .. -DCMAKE_INSTALL_PREFIX=/usr \
-           -DCMAKE_CXX_FLAGS=" -std=c++11"
-  make
-}
-
-package(){
-  cd "${pkgname}-${pkgver}/build"
-  make install DESTDIR="${pkgdir}"
-  # configuration
-  install -vDm 644 "${srcdir}/grub.cfg" -t "${pkgdir}/etc/${pkgname}/"
-  # additional documentation
-  install -vDm 644 ../{changelog,README} \
-    -t "${pkgdir}/usr/share/doc/${pkgname}/"
-}
-# vim:set ts=2 sw=2 et:

Copied: grub-customizer/repos/community-x86_64/PKGBUILD (from rev 394249, grub-customizer/trunk/PKGBUILD)
===================================================================
--- PKGBUILD	                        (rev 0)
+++ PKGBUILD	2018-10-15 17:48:37 UTC (rev 394250)
@@ -0,0 +1,41 @@
+# Maintainer: David Runge <dave at sleepmap.de>
+
+pkgname=grub-customizer
+pkgver=5.1.0
+pkgrel=1
+pkgdesc="A graphical grub2 settings manager"
+url="https://launchpad.net/grub-customizer"
+arch=('x86_64')
+license=('GPL3')
+depends=('grub' 'gtkmm3' 'libarchive')
+optdepends=('hwinfo: Additional hardware information'
+            'polkit: Run grub-customizer from menu')
+makedepends=('cmake')
+provides=('grub-customizer')
+backup=('etc/grub-customizer/grub.cfg')
+source=("https://launchpad.net/${pkgname}/${pkgver%.*}/${pkgver}/+download/${pkgname}_${pkgver}.tar.gz"
+        'grub.cfg')
+sha512sums=('d79c7996afd8486483d4460432207dc19315d7377dcfd2fd6a4594e64c6750bbae36f96c395c4a9748d0ff43c6095399d822fc6a23beedbc8769802818dfa11f'
+            '40156b6546a4d7e8abbef2ab3dece0481a4a2ca276b9a15c5a7bf7e3b11004335b6a747be391b5c1accb35c9e9e3bc628e571cd245e5f2980e5ecd6a3ceb24f5')
+
+prepare(){
+  cd "${pkgname}-${pkgver}"
+  mkdir -p build
+}
+
+build(){
+  cd "${pkgname}-${pkgver}/build"
+  cmake .. -DCMAKE_INSTALL_PREFIX=/usr
+  make
+}
+
+package(){
+  cd "${pkgname}-${pkgver}/build"
+  make install DESTDIR="${pkgdir}"
+  # configuration
+  install -vDm 644 "${srcdir}/grub.cfg" -t "${pkgdir}/etc/${pkgname}/"
+  # additional documentation
+  install -vDm 644 ../{changelog,README} \
+    -t "${pkgdir}/usr/share/doc/${pkgname}/"
+}
+# vim:set ts=2 sw=2 et:

Deleted: grub.cfg
===================================================================
--- grub.cfg	2018-10-15 17:48:31 UTC (rev 394249)
+++ grub.cfg	2018-10-15 17:48:37 UTC (rev 394250)
@@ -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

Copied: grub-customizer/repos/community-x86_64/grub.cfg (from rev 394249, grub-customizer/trunk/grub.cfg)
===================================================================
--- grub.cfg	                        (rev 0)
+++ grub.cfg	2018-10-15 17:48:37 UTC (rev 394250)
@@ -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