diff options
author | Trygve Laugstøl <trygvis@inamo.no> | 2021-01-10 22:23:13 +0100 |
---|---|---|
committer | Trygve Laugstøl <trygvis@inamo.no> | 2021-01-10 22:23:13 +0100 |
commit | dcf9d7e3efbbe791db1a21de1dd21abf2ff22f81 (patch) | |
tree | 4c16e01fed19fa5e5de8902785b450fdcd063ddb /tools/dhall | |
parent | 16795884f3e915ed6d8b086fd5b6b93fc4858a27 (diff) | |
download | infra-dcf9d7e3efbbe791db1a21de1dd21abf2ff22f81.tar.gz infra-dcf9d7e3efbbe791db1a21de1dd21abf2ff22f81.tar.bz2 infra-dcf9d7e3efbbe791db1a21de1dd21abf2ff22f81.tar.xz infra-dcf9d7e3efbbe791db1a21de1dd21abf2ff22f81.zip |
terraform in minio
Diffstat (limited to 'tools/dhall')
-rwxr-xr-x | tools/dhall | 50 |
1 files changed, 0 insertions, 50 deletions
diff --git a/tools/dhall b/tools/dhall deleted file mode 100755 index ad71285..0000000 --- a/tools/dhall +++ /dev/null @@ -1,50 +0,0 @@ -#!/bin/sh - -v_dhall=1.36.0 -v_dhall_yaml=1.2.3 -v_dhall_json=1.7.3 - -set -eu - -basedir=$(dirname "$0") - -cmd="$(basename $0)" - -case $cmd in - dhall) - tar=dhall - v=$v_dhall - ;; - dhall-to-json|json-to-dhall) - tar=dhall-json - v=$v_dhall_json - ;; - dhall-to-yaml-ng|yaml-to-dhall) - tar=dhall-yaml - v=$v_dhall_yaml - ;; - *) - echo "Unknown command: $0" - exit 1 -esac - -bin="$basedir/bin/$cmd-$v" -tar_path="$basedir/bin/$tar-$v.tar.bz2" - -m="$(uname -m)" -s="$(uname -s|tr [:upper:] [:lower:])" - -if [ ! -r "$tar_path" ] -then - mkdir -p "$(dirname $tar_path)" - wget -O "$tar_path" \ - https://github.com/dhall-lang/dhall-haskell/releases/download/$v_dhall/$tar-$v-$m-$s.tar.bz2 -fi - -if [ ! -x "$bin" ] -then - tar Oxf "$tar_path" ./bin/$cmd > "$bin" - chmod +x "$bin" -fi - -exec "$bin" "${@}" |