/bin/bash -> /usr/bin/env bash (#471)

Using env offers better portability
2023-04-19 23:25:41 +00:00
parent 363849f9e3
commit cb2d0d9555
8 changed files with 8 additions and 8 deletions
--- a/tools/format
+++ b/tools/format
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash

 set -eo pipefail