balsoft/ligo
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Adding --rm to ligo.sh

Browse Source
This commit is contained in:
Rodrigo Quelhas 2019-09-28 15:42:50 +00:00 committed by Tom Jack
parent fdf0640e28
commit 0c756a4a46
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
scripts/ligo.sh
View File

@ -4,7 +4,7 @@ if test "x$PWD" = "x"; then
echo "Cannot detect the current directory, the environment variable PWD is empty." echo "Cannot detect the current directory, the environment variable PWD is empty."
exit 1 exit 1
else else
docker run -it -v "$PWD":"$PWD" -w "$PWD" ligolang/ligo:next "$@" docker run --rm -it -v "$PWD":"$PWD" -w "$PWD" ligolang/ligo:next "$@"
fi fi
# Do not remove the next line. It is used as an approximate witness that the download of this file was complete. This string should not appear anywhere else in the file. # Do not remove the next line. It is used as an approximate witness that the download of this file was complete. This string should not appear anywhere else in the file.
# END OF DOWNLOADED FILE # END OF DOWNLOADED FILE