From 8a8d7c01e341e22b59c10ce24ca061cb0a36388f Mon Sep 17 00:00:00 2001
From: Fred <numsys@free.fr>
Date: Fri, 21 May 2021 08:31:52 +0000
Subject: [PATCH] Add bash as shell

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

diff --git a/run.sh b/run.sh
index 09cd426..5016876 100644
--- a/run.sh
+++ b/run.sh
@@ -1,4 +1,4 @@
-#!/bin/sh
+#!/bin/bash
 set -vx
 
 # remove previous pid (if exist) after crash