diff options
author | Jingbei Li | 2023-08-23 15:30:56 +0800 |
---|---|---|
committer | Jingbei Li | 2023-08-23 15:30:56 +0800 |
commit | 13171c85594cd36fee2e0415eaa356e5ea99e2b0 (patch) | |
tree | e6558ab9e8ac61c3550515466e8e105b3b05e39e | |
parent | 25df19bd640fc0ab92c437608573004578691c75 (diff) | |
download | aur-13171c85594cd36fee2e0415eaa356e5ea99e2b0.tar.gz |
added github-actions-bin.install
-rw-r--r-- | .SRCINFO | 4 | ||||
-rwxr-xr-x | PKGBUILD | 17 | ||||
-rwxr-xr-x | github-actions-bin.install | 12 |
3 files changed, 16 insertions, 17 deletions
@@ -1,9 +1,9 @@ pkgbase = github-actions-bin pkgdesc = GitHub Actions self-hosted runner tools. pkgver = 2.308.0 - pkgrel = 1 + pkgrel = 2 url = https://github.com/actions/runner - install = PKGBUILD + install = github-actions-bin.install arch = x86_64 arch = armv6h arch = armv7h @@ -5,7 +5,7 @@ _pkgname=github-actions pkgname=${_pkgname}-bin pkgver=2.308.0 -pkgrel=1 +pkgrel=2 pkgdesc='GitHub Actions self-hosted runner tools.' arch=('x86_64' 'armv6h' 'armv7h' 'aarch64') url='https://github.com/actions/runner' @@ -13,7 +13,7 @@ license=('MIT') OPTIONS=(!strip !docs libtool emptydirs) -install=PKGBUILD +install="${pkgname}.install" provides=($_pkgname) conflicts=($_pkgname) @@ -68,16 +68,3 @@ package() { install -Dm644 "$srcdir"/$_pkgname.sysusers "${pkgdir}"/usr/lib/sysusers.d/$_pkgname.conf install -Dm644 "$srcdir"/$_pkgname.service "${pkgdir}"/usr/lib/systemd/system/$_pkgname.service } - -pre_remove() { - if systemctl -q is-enabled $_pkgname.service; then - systemctl disable $_pkgname.service - fi -} - -post_remove() { - echo - echo "Remove $_pkgname user and this HOME /var/lib/$_pkgname manually, if not needed anymore." - echo -} - diff --git a/github-actions-bin.install b/github-actions-bin.install new file mode 100755 index 000000000000..7b6b029bf254 --- /dev/null +++ b/github-actions-bin.install @@ -0,0 +1,12 @@ +pre_remove() { + if systemctl -q is-enabled $_pkgname.service; then + systemctl disable $_pkgname.service + fi +} + +post_remove() { + echo + echo "Remove $_pkgname user and this HOME /var/lib/$_pkgname manually, if not needed anymore." + echo +} + |