Merge branch 'master' into iverilog

This commit is contained in:
Omar Brikaa 2021-10-01 13:36:06 +02:00 committed by GitHub
commit 989ea52bfa
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 5 additions and 3 deletions

View File

@ -2,7 +2,7 @@
## Naming Languages
Languages should be named after their interpreters, and the command line binaries you call.
Languages should be named after their interpreters, and the command line binaries you call. The language version should use semantic versioning.
For example, the full name of the standard python interpreter is `CPython`, however we would name it `python`, after the main binary which it provides.
In the example of NodeJS, we would call this `node`, after the main binary.

6
piston
View File

@ -19,6 +19,7 @@ case $1 in
echo "Commands:"
echo " select <environment> Select the environment"
echo " docker_compose <args...> Interact directly with the docker-compose for the selected environment"
echo " logs Show docker-compose logs"
echo
echo " start Starts piston"
echo " stop Stops piston"
@ -37,18 +38,19 @@ case $1 in
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"
fi
;;
select) echo "$2" > .piston_env ;;
docker_compose) shift; docker_compose "$@";;
logs) docker_compose logs -f ;;
restart) docker_compose restart ;;
start) docker_compose up -d ;;