From 7ed4e181c2b709eb68a8b300b7a89c8fb7f5dedd Mon Sep 17 00:00:00 2001
From: Andrea Dell'Amico <andrea.dellamico@isti.cnr.it>
Date: Mon, 20 Mar 2023 14:01:03 +0100
Subject: [PATCH] Use bash directly.

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

diff --git a/01_set_env.sh b/01_set_env.sh
index dda5dad..ca98808 100644
--- a/01_set_env.sh
+++ b/01_set_env.sh
@@ -1,4 +1,4 @@
-#!/usr/bin/with-contenv bash
+#!/bin/bash
 # shellcheck shell=bash
 
 ## Set our dynamic variables in Renviron.site to be reflected by RStudio Server or Shiny Server