Joachim Breitner:
> one guess is that this script was meant to be run by bash, not some
> other shell like dash. Does it start with #!/bin/sh and does it work if
> you use #!/bin/bash instead?

It's apparently GNU bash 4.2.10(1)-release (arm-oe-linux-gnueabi)
running in vala-terminal. I don't have dash installed.

Whether DASH_BINSH ("configure dash as default /bin/sh") is set to true
or false doesn't seem to matter.

_______________________________________________
Smartphones-userland mailing list
Smartphones-userland@linuxtogo.org
http://lists.linuxtogo.org/cgi-bin/mailman/listinfo/smartphones-userland

Reply via email to