From 4cc94e1f099dc10b2a688a23dee271c8787b6977 Mon Sep 17 00:00:00 2001
From: Jens Nolte <jens@nightmarestudio.de>
Date: Sun, 2 Feb 2020 00:00:12 +0100
Subject: [PATCH] Fix install script by switching to zsh
---
bin/install | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/bin/install b/bin/install
index d7e26c2..f324b97 100755
--- a/bin/install
+++ b/bin/install
@@ -1,4 +1,4 @@
-#!/bin/sh
+#!/usr/bin/env zsh
set -e
set -u
@@ -12,7 +12,7 @@ readonly executable_path=$local_bin/$executable_name
stack install
echo >&2
-if [ -n "${LOCAL_ZSH_COMPLETION_PATH+set}" -a -d "$LOCAL_ZSH_COMPLETION_PATH" ]
+if [[ -n "${LOCAL_ZSH_COMPLETION_PATH+set}" && -d "$LOCAL_ZSH_COMPLETION_PATH" ]]
then
ZSH_COMPLETION_SCRIPT_PATH=$LOCAL_ZSH_COMPLETION_PATH/_$executable_name
$executable_path --zsh-completion-script $executable_path > $ZSH_COMPLETION_SCRIPT_PATH
--
GitLab