8627cd8003
use tee instead of cat here ${SUDO} is used, because it is assumed a third party system which could have its own configuration, so we deal the different situations fine (with or without sudo, etc.) |
||
---|---|---|
.gitignore | ||
deploy-workbench.sh | ||
LICENSE | ||
Makefile | ||
README-en.md | ||
README-es.md | ||
README.md | ||
requirements.txt | ||
workbench-script.py |