--- 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" } #