You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
On Ubuntu /bin/sh does not support [[, which is used in the shell scripts (which have a shebang pointing to /bin/sh, and are I believe also called explicitly by sh in some paces). This is similar the the old issue #261 (pushd). Possible fixes are changing the scripts, or perhaps just explicitly demanding /bin/sh points to bash.
The text was updated successfully, but these errors were encountered:
On Ubuntu /bin/sh does not support [[, which is used in the shell scripts (which have a shebang pointing to /bin/sh, and are I believe also called explicitly by sh in some paces). This is similar the the old issue #261 (pushd). Possible fixes are changing the scripts, or perhaps just explicitly demanding /bin/sh points to bash.
The text was updated successfully, but these errors were encountered: