blob: a0dc8449c3eb9a2e5c97b9254358a4fed76d069b (
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=2
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+https://github.com/eworm-de/grub-reboot-poweroff.git#tag=${pkgver}?signed")
sha256sums=('SKIP')
package() {
cd grub-reboot-poweroff/
make DESTDIR="${pkgdir}" install
}
|