From 6c83de09ae514d6386c7e7aa294216150373033a Mon Sep 17 00:00:00 2001 From: Zhaofeng Li Date: Thu, 26 Nov 2020 19:13:46 -0800 Subject: [PATCH] fix-infrastructure-objects: Don't assume /bin/bash to be present Unlike /bin/sh, /bin/bash is not mandated by POSIX and is not present on some platforms (e.g., NixOS). Use the bash in the user's PATH. --- fix-infrastructure-objects | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/fix-infrastructure-objects b/fix-infrastructure-objects index 8fafb7847..6d0f765bd 100755 --- a/fix-infrastructure-objects +++ b/fix-infrastructure-objects @@ -1,4 +1,4 @@ -#!/bin/bash +#!/usr/bin/env bash set -e