From 35a8d735cf66ac3a8867247b3f1a734af2add2ab Mon Sep 17 00:00:00 2001
From: tomsmeding <tom.smeding@gmail.com>
Date: Sat, 16 Jul 2022 23:00:09 +0200
Subject: Initial

---
 ghc-pkg-shim.sh | 9 +++++++++
 1 file changed, 9 insertions(+)
 create mode 100755 ghc-pkg-shim.sh

(limited to 'ghc-pkg-shim.sh')

diff --git a/ghc-pkg-shim.sh b/ghc-pkg-shim.sh
new file mode 100755
index 0000000..92d7607
--- /dev/null
+++ b/ghc-pkg-shim.sh
@@ -0,0 +1,9 @@
+#!/usr/bin/env bash
+#echo >/dev/tty "!! ghc-pkg $*"
+args=()
+for arg; do
+	if [[ $arg != --global ]]; then
+		args[${#args[@]}]="$arg"
+	fi
+done
+ghc-pkg --package-db /data/data/com.termux/files/home/ghc-boot-pkgdb "${args[@]}"
-- 
cgit v1.2.3-70-g09d2