Riccardo Pittau d8cbef6843

Explicitely call bash instead of /bin/sh (#512) ...

The /bin/sh file is a link, not an actual binary, and that can point
to /bin/bash as well as other shells, like /bin/dash in recent
ubuntu versions.
To be consistent between linux distributions, and avoid issues like
missing support for bash functions (e.g. source), let's call /bin/bash
instead.

2022-11-28 15:24:50 -05:00

..

remoteplaywhatever.sh

Explicitely call bash instead of /bin/sh (#512)

2022-11-28 15:24:50 -05:00