ligo/scripts/ligo.sh

#!/bin/sh
set -e
if test "x$PWD" = "x"; then
  echo "Cannot detect the current directory, the environment variable PWD is empty."
  exit 1
else
  docker run --rm -v "$PWD":"$PWD" -w "$PWD" ligolang/ligo:next "$@"
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.
# END OF DOWNLOADED FILE
Use sh, not bash 2019-05-28 22:54:37 +04:00			`#!/bin/sh`
			`set -e`
typo: used both [ ] and test in shell script 2019-06-14 02:44:55 +04:00			`if test "x$PWD" = "x"; then`
Use sh, not bash 2019-05-28 22:54:37 +04:00			`echo "Cannot detect the current directory, the environment variable PWD is empty."`
			`exit 1`
			`else`
Stop using docker `-it` to avoid spurious CRLF 2019-11-27 04:29:12 +04:00			`docker run --rm -v "$PWD":"$PWD" -w "$PWD" ligolang/ligo:next "$@"`
Security aspects for shell scripts (well, an attempt at that) 2019-05-28 00:00:09 +04:00			`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.`
			`# END OF DOWNLOADED FILE`