On linux, according to hier(7), /usr/local should be used for local customizations to binaries:
/usr/local
This is where programs which are local to the site typically go.
/usr/local/bin
Binaries for programs local to the site.
Furthermore, it says of /usr/bin:
/usr/bin
This is the primary directory for executable programs. Most
programs executed by normal users which are not needed for boot_
ing or for repairing the system and which are not installed
locally should be placed in this directory.
Consequently, I do not think that setup.sh should default to /usr/bin for installing scalus. Perhaps setup.sh should prompt?
On linux, according to hier(7), /usr/local should be used for local customizations to binaries:
Furthermore, it says of /usr/bin:
Consequently, I do not think that setup.sh should default to /usr/bin for installing scalus. Perhaps setup.sh should prompt?