diff options
| author | David P <megver83@openmailbox.org> | 2017-04-08 19:48:51 -0300 |
|---|---|---|
| committer | David P <megver83@openmailbox.org> | 2017-04-08 19:48:51 -0300 |
| commit | 7710ab22e7f16089a46bdde66f4ca107964bb87d (patch) | |
| tree | 49096e78ddd9ff873aea11664f019d5d03c20647 /pcr/update-grub | |
| parent | ca9e45ec948b9c8866016881d750ce43aaa3a9d2 (diff) | |
Added update-grub to [pcr]
Diffstat (limited to 'pcr/update-grub')
| -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 "$@" |