Sun, 16 Jul 2023 13:29:41 +0200
fix default prefix in help text not being the default but the actual prefix fixes #272
--- a/dist/install.sh Sun Jul 16 13:28:25 2023 +0200 +++ b/dist/install.sh Sun Jul 16 13:29:41 2023 +0200 @@ -7,7 +7,7 @@ { echo "Usage: $0 [PREFIX=<path>]" echo - echo "Default PREFIX:" $PREFIX + echo "Default PREFIX: /usr/local" } #