Add bash as shell

2021-05-21 08:31:52 +00:00 · 2021-05-21 08:31:52 +00:00 · 8a8d7c01e3
commit 8a8d7c01e3
parent eec567489e
1 changed files with 1 additions and 1 deletions
--- a/run.sh
+++ b/run.sh
@ -1,4 +1,4 @@
-#!/bin/sh
+#!/bin/bash
 set -vx

 # remove previous pid (if exist) after crash