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 /github-actions-bin.install | |
parent | 25df19bd640fc0ab92c437608573004578691c75 (diff) | |
download | aur-13171c85594cd36fee2e0415eaa356e5ea99e2b0.tar.gz |
added github-actions-bin.install
Diffstat (limited to 'github-actions-bin.install')
-rwxr-xr-x | github-actions-bin.install | 12 |
1 files changed, 12 insertions, 0 deletions
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 +} + |