Merge pull request #5291 from sellout/fix-dev-ui-install

Fix dev-ui-install.sh
unisonweb · Aug 23, 2024 · a1e188b · a1e188b
2 parents 1207653 + b1a4d73
commit a1e188b
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/dev-ui-install.sh b/dev-ui-install.sh
@@ -1,3 +1,6 @@
+#!/usr/bin/env sh
+set -eu
+
 echo "This script downloads the latest Unison Local UI release"
 echo "and puts it in the correct spot next to the unison"
 echo "executable built by stack."
@@ -7,4 +10,4 @@ stack build
 curl -L https://github.com/unisonweb/unison-local-ui/releases/download/latest/unisonLocal.zip --output unisonLocal.zip
 parent_dir="$(dirname -- $(stack exec which unison))"
 mkdir -p "$parent_dir/ui"
-unzip -o unisonLocal.zip -d "$parent_dir/ui"
+unzip -q -o unisonLocal.zip -d "$parent_dir/ui"