From 0238c8526374231f3d585ac42356e8cec80e6cd8 Mon Sep 17 00:00:00 2001 From: andreoss Date: Tue, 31 Oct 2023 19:38:32 +0000 Subject: [PATCH] [twitter-server]: 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/twitter-server#77 Differential Revision: https://phabricator.twitter.biz/D1107607 --- pushsite.bash | 2 +- sbt | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/pushsite.bash b/pushsite.bash index 291b56d5..c64a0098 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 d08998b1..dbe5a021 100755 --- a/sbt +++ b/sbt @@ -1,4 +1,4 @@ -#!/bin/bash +#!/usr/bin/env bash set -eo pipefail