Cleanup some shell scripts

cuter-testing · Apr 27, 2023 · ff3f1d5 · ff3f1d5
1 parent 49a640f
commit ff3f1d5
Show file tree

Hide file tree

Showing 3 changed files with 8 additions and 8 deletions.
diff --git a/example.sh b/example.sh
@@ -1,4 +1,4 @@
-#!/bin/sh
+#!/usr/bin/env bash
 
 EXAMPLES="11 21 12 22 11s 21s 12s 22s 11i 21i 12i 22i"
 
@@ -9,6 +9,6 @@ fi
 for v in $EXAMPLES; do
   echo "Running: $v"
   gtime \
-  erl -noshell -pa $PWD/ebin -eval "cuter:run(example, foo$v, [[17]], 25)" \
-      -s init stop > LOG.$v
+  erl -noshell -pa "$PWD"/ebin -eval "cuter:run(example, foo$v, [[17]], 25)" \
+      -s init stop > LOG."$v"
 done
diff --git a/fetch_protoc.sh b/fetch_protoc.sh
@@ -1,4 +1,4 @@
-#! /bin/bash
+#!/usr/bin/env bash
 
 set -e
 
@@ -7,9 +7,9 @@ VER="3.20.2"
 PROTOC_DIR="$DL/protoc-$VER"
 rm -rf $PROTOC_DIR
 
-ME=`basename "$0"`
+ME=$(basename "$0")
 
-SYSTEM_TYPE=`uname -s`
+SYSTEM_TYPE=$(uname -s)
 case ${SYSTEM_TYPE} in
   'Darwin') OS=osx;;
   'Linux')  OS=linux;;
@@ -18,7 +18,7 @@ case ${SYSTEM_TYPE} in
      ;;
 esac
 
-MACHINE_TYPE=`uname -m`
+MACHINE_TYPE=$(uname -m)
 case ${MACHINE_TYPE} in
   'i686')   ARCH='x86_32';;	# 32-bit
   'x86_64') ARCH='x86_64';;	# 64-bit

diff --git a/fetch_z3.sh b/fetch_z3.sh
@@ -1,4 +1,4 @@
-#! /bin/bash
+#!/usr/bin/env bash
 
 set -e