From 6a1f79b6a3cf0e2a7404fa8a6fdb096b2c20a54e Mon Sep 17 00:00:00 2001 From: Joakim Hulthe Date: Thu, 6 Aug 2026 14:38:20 +0200 Subject: [PATCH] Use /bin/sh for devpod script --- devpod | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/devpod b/devpod index 95c1a38..b88ca41 100755 --- a/devpod +++ b/devpod @@ -1,4 +1,4 @@ -#!/bin/bash +#!/bin/sh set -e IMAGE_NAME="devpod"