Re-add bash completion script

1 files changed, 2 insertions, 0 deletions

diff --git a/PKGBUILD b/PKGBUILD
index 8bb41f055b59..4e5fe728d667 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -81,5 +81,7 @@ package() {
     rm "$pkgdir/usr/lib/libidris2_support.so"
     install "support/c/libidris2_support.a" "$pkgdir/usr/lib/$_pkgname-"*"/lib"
 
+    install -Dm644 <(idris2 --bash-completion-script idris2) \
+        "$pkgdir/usr/share/bash-completion/completions/$_pkgname"
     install -Dm644 LICENSE "$pkgdir/usr/share/licenses/$pkgname/LICENSE"
 }