From 28e7779eb101c89588a2f581d21e8b057dd3e909 Mon Sep 17 00:00:00 2001 From: Dirk Alders Date: Sat, 23 Mar 2024 16:35:45 +0100 Subject: [PATCH] Fix init_venv script --- init_venv | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/init_venv b/init_venv index 83622c4..9f00515 100755 --- a/init_venv +++ b/init_venv @@ -1,4 +1,4 @@ -#!/bin/sh +#!/bin/bash # BASEPATH=`realpath $(dirname $0)`