Merge branch 'master' into websocket

This commit is contained in:
Thomas Hobson 2021-09-22 08:21:31 +12:00 committed by GitHub
commit 7d05f4e305
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
47 changed files with 672 additions and 48 deletions

12
piston
View file

@ -23,22 +23,23 @@ case $1 in
echo " start Starts piston"
echo " stop Stops piston"
echo " restart Restarts piston"
echo " bash Opens a bash shell for the piston_api container"
echo
echo " update Fetches and applies latest updates"
echo
echo " <args..> Passthrough to piston cli tool"
echo
echo
echo "Development Commands:"
if [ $PISTON_ENV == dev ]; then
echo " clean-pkgs Clean any package build artifacts on disk"
echo " clean-repo Remove all packages from local repo"
echo " build-pkg <package> <version> Build a package"
echo " rebuild Build and restart the docker container"
else
echo " Switch to developement environment for more info"
echo " > piston select dev"
@ -52,6 +53,7 @@ case $1 in
restart) docker_compose restart ;;
start) docker_compose up -d ;;
stop) docker_compose down ;;
bash) docker_compose exec api /bin/bash ;;
rebuild) docker_compose build && docker_compose up -d ;;
@ -77,4 +79,4 @@ case $1 in
cd ../
node cli/index.js "$@"
;;
esac
esac