More comments about the install script: • #!/bin/bash is not portable. For example, on (some?) BSDs, bash is in /usr/local/bin/. • But you don't use any bash-

More comments about the install script: • #!/bin/bash is not portable. For example, on (some?) BSDs, bash is in /usr/local/bin/. • But you don't use any bash-specific features, so just #!/bin/sh would work. • Not everybody uses sudo. • How about a Makefile instead of a shell script?