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
Running command make deploy (and make run(??)) sends an error /deploy.sh: source: not found.
It is because link /bin/sh refers to /bin/dash instead of /bin/bash on my linux (Ubuntu 20.04)
Workaround: `make -e SHELL=/bin/bash deploy'. It isn't too nice.
The text was updated successfully, but these errors were encountered:
Running command
make deploy
(andmake run
(??)) sends an error/deploy.sh: source: not found
.It is because link /bin/sh refers to /bin/dash instead of /bin/bash on my linux (Ubuntu 20.04)
Workaround: `make -e SHELL=/bin/bash deploy'. It isn't too nice.
The text was updated successfully, but these errors were encountered: