From bd324e26c1aed817765f5d1f4a5002ee850e7dff Mon Sep 17 00:00:00 2001
From: ee7 <45465154+ee7@users.noreply.github.com>
Date: Tue, 15 Dec 2020 16:00:01 +0100
Subject: [PATCH] fetch-configlet_v3: Use `#!/usr/bin/env bash`

This makes the script more portable.
---
 scripts/fetch-configlet_v3 | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/scripts/fetch-configlet_v3 b/scripts/fetch-configlet_v3
index eae103fb..54f10d83 100755
--- a/scripts/fetch-configlet_v3
+++ b/scripts/fetch-configlet_v3
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 set -eo pipefail