From 87b4e2b3585a9579d4e93d84a94992c5cec6e322 Mon Sep 17 00:00:00 2001 From: tomsmeding Date: Sat, 16 Jul 2022 23:12:12 +0200 Subject: better pwd management --- ghc-shim.sh | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'ghc-shim.sh') diff --git a/ghc-shim.sh b/ghc-shim.sh index 6885dc7..8f6a12d 100755 --- a/ghc-shim.sh +++ b/ghc-shim.sh @@ -1,6 +1,7 @@ #!/usr/bin/env bash +thisdir="$(dirname "$0")" if [[ $# = 1 && $1 = --print-global-package-db ]]; then - echo /data/data/com.termux/files/home/ghc-boot-pkgdb + echo "$thisdir"/ghc-boot-pkgdb else #echo >/dev/tty "!! ghc $*" ghc "$@" -- cgit v1.2.3-70-g09d2