1 files changed, 9 insertions, 0 deletions
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[@]}"