From bf47e179b720fc33931302a351066cce694baaf9 Mon Sep 17 00:00:00 2001 From: Kevin Quick Date: Sun, 2 Jul 2023 21:50:25 -0700 Subject: [PATCH] cryptol-remote-api script shebang fixes --- cryptol-remote-api/check_docs.sh | 3 ++- cryptol-remote-api/run_rpc_tests.sh | 2 +- cryptol-remote-api/test_docker.sh | 2 +- 3 files changed, 4 insertions(+), 3 deletions(-) diff --git a/cryptol-remote-api/check_docs.sh b/cryptol-remote-api/check_docs.sh index d6ae3b1b7..65ecbdcef 100755 --- a/cryptol-remote-api/check_docs.sh +++ b/cryptol-remote-api/check_docs.sh @@ -1,4 +1,4 @@ -#! /bin/bash +#!/usr/bin/env bash DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" >/dev/null 2>&1 && pwd )" @@ -7,6 +7,7 @@ cd $DIR/docs export CRYPTOL_SERVER=$(cabal v2-exec which cryptol-remote-api) if [[ ! -x "$CRYPTOL_SERVER" ]]; then echo "could not locate cryptol-remote-api executable - try executing with cabal v2-exec" + echo "or try building with 'cabal build cryptol-remote-api'" exit 1 fi diff --git a/cryptol-remote-api/run_rpc_tests.sh b/cryptol-remote-api/run_rpc_tests.sh index b8db5a0f6..0d912393f 100755 --- a/cryptol-remote-api/run_rpc_tests.sh +++ b/cryptol-remote-api/run_rpc_tests.sh @@ -1,4 +1,4 @@ -#!/bin/bash +#!/usr/bin/env bash set -euo pipefail diff --git a/cryptol-remote-api/test_docker.sh b/cryptol-remote-api/test_docker.sh index ad5eb12bd..4fc0ed54f 100755 --- a/cryptol-remote-api/test_docker.sh +++ b/cryptol-remote-api/test_docker.sh @@ -1,4 +1,4 @@ -#!/bin/bash +#!/usr/bin/env bash set -euo pipefail