From 5789b1aadf5ab0a83993a6149b319f751defe860 Mon Sep 17 00:00:00 2001
From: Dennis Wielepsky <dennis@wielepsky.de>
Date: Tue, 24 Sep 2024 14:51:25 +0200
Subject: [PATCH] source needs bash

---
 run-local.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/run-local.sh b/run-local.sh
index 847f1a0..3134185 100755
--- a/run-local.sh
+++ b/run-local.sh
@@ -1,4 +1,4 @@
-#!/usr/bin/env sh
+#!/usr/bin/env bash
 
 set -ex