blob: 6c82d5ad99c1e3be0e2250e82084e4e81f502d2b (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
|
# Maintainer: Christian Hesse <mail@eworm.de>
pkgname=grub-reboot-poweroff
pkgver=0.2.1
pkgrel=1
pkgdesc='Reboot and Poweroff system from Grub boot menu'
arch=('any')
url='https://github.com/eworm-de/grub-reboot-poweroff'
license=('GPL')
depends=('grub')
makedepends=('git')
validpgpkeys=('BD84DE71F493DF6814B0167254EDC91609BC9183')
source=("git://github.com/eworm-de/grub-reboot-poweroff.git#tag=${pkgver}?signed")
sha256sums=('SKIP')
package() {
cd grub-reboot-poweroff/
make DESTDIR="${pkgdir}" install
}
|