From 4c11153ba4037cdde27cb255d8f7ed29c349718e Mon Sep 17 00:00:00 2001 From: Dieter Blocher Date: Thu, 30 Jan 2025 11:12:08 +0100 Subject: [PATCH] Update .devcontainer/devcontainer.json --- .devcontainer/devcontainer.json | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json index 2b9f232..41acc4f 100644 --- a/.devcontainer/devcontainer.json +++ b/.devcontainer/devcontainer.json @@ -12,7 +12,7 @@ }, // Add bash_history "mounts": [ - "source=devcontainer-bash-history,target=/home/node/.bash_history,type=volume" + "source=devcontainer-bash-history,target=/home/node/.bash_history,type=bind" ], // Configure tool-specific properties. "customizations": {