#!/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[@]}"