diff options
| -rw-r--r-- | pcr/update-grub/PKGBUILD | 17 | ||||
| -rw-r--r-- | pcr/update-grub/update-grub | 3 |
2 files changed, 20 insertions, 0 deletions
diff --git a/pcr/update-grub/PKGBUILD b/pcr/update-grub/PKGBUILD new file mode 100644 index 000000000..424e3dee4 --- /dev/null +++ b/pcr/update-grub/PKGBUILD @@ -0,0 +1,17 @@ +# Maintainer: David P. <megver83@parabola.nu> +# Contributor: Max Bruckner + +pkgname=update-grub +pkgver=0.0.1 +pkgrel=7 +pkgdesc="Simple wrapper around grub-mkconfig" +arch=('any') +url='http://packages.ubuntu.com/precise/grub2-common' +license=('GPL2') +depends=('grub') +source=( 'update-grub' ) +sha512sums=('5b61d697f9e101357e2970a05a5f42b2288fcb2c595ee2512b4c9c64e965af4e5d32da24ff6905d8293df516a4477c76655127466d8f1b3cfa2bddea67e84ef5') + +package() { + install -Dm 755 "$srcdir/update-grub" "$pkgdir/usr/bin/update-grub" +} diff --git a/pcr/update-grub/update-grub b/pcr/update-grub/update-grub new file mode 100644 index 000000000..0c433277f --- /dev/null +++ b/pcr/update-grub/update-grub @@ -0,0 +1,3 @@ +#!/bin/sh +set -e +exec grub-mkconfig -o /boot/grub/grub.cfg "$@" |