From 0571f975d9d7f01641b320d5b74ec794bde7bbbf Mon Sep 17 00:00:00 2001 From: andreoss Date: Tue, 31 Oct 2023 19:34:39 +0000 Subject: [PATCH] [util]: Portable shebang Problem: /bin/bash is not available on non-FHS distros, such as NixOS Solution: Replace /bin/bash with /usr/bin/env bash Result: Closes twitter/util#314 Differential Revision: https://phabricator.twitter.biz/D1107606 --- pushsite.bash | 2 +- sbt | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/pushsite.bash b/pushsite.bash index dab72393d9..a3d6a8ceb0 100755 --- a/pushsite.bash +++ b/pushsite.bash @@ -1,4 +1,4 @@ -#!/bin/bash +#!/usr/bin/env bash set -e diff --git a/sbt b/sbt index d08998b12d..dbe5a02103 100755 --- a/sbt +++ b/sbt @@ -1,4 +1,4 @@ -#!/bin/bash +#!/usr/bin/env bash set -eo pipefail