From d26618ba5b412d784499b27a4b49bf848a49466a Mon Sep 17 00:00:00 2001 From: Julian Schuler Date: Tue, 18 Feb 2025 13:08:54 +0100 Subject: [PATCH 1/2] Use env in shebang --- scripts/remote_workspace | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/scripts/remote_workspace b/scripts/remote_workspace index a5281de9ee..4b18d9968c 100755 --- a/scripts/remote_workspace +++ b/scripts/remote_workspace @@ -1,4 +1,4 @@ -#!/bin/bash +#!/usr/bin/env bash # exit on error set -e From 8d8eeddfce45b98aea77c25221ac79df50a211f8 Mon Sep 17 00:00:00 2001 From: Julian Schuler Date: Tue, 18 Feb 2025 13:10:30 +0100 Subject: [PATCH 2/2] Fix realpath failing when $DATA_HOME is missing --- scripts/resolve_data_home | 3 +++ 1 file changed, 3 insertions(+) diff --git a/scripts/resolve_data_home b/scripts/resolve_data_home index b5ae516944..a1be9ceaf6 100755 --- a/scripts/resolve_data_home +++ b/scripts/resolve_data_home @@ -5,6 +5,9 @@ HOME="${HOME:-$(echo ~)}" DATA_HOME="${XDG_DATA_HOME:-$HOME/.local/share}" HULK_DATA_HOME="${HULK_DATA_HOME:-$DATA_HOME/hulk}" +# create data home if not present to ensure realpath does not fail +mkdir -p "$HULK_DATA_HOME" + if [ "$(uname)" == "Darwin" ]; then echo -n $(grealpath "$HULK_DATA_HOME") else