misc

devcontainers · Nov 5, 2024 · 54119e3 · 54119e3
1 parent 581e5eb
commit 54119e3
Showing 1 changed file with 7 additions and 9 deletions.
diff --git a/src/common-utils/devcontainer-feature.json b/src/common-utils/devcontainer-feature.json
@@ -71,17 +71,15 @@
             "description": "Preserve shell history across dev container instances? (Currently supports bash, zsh, and fish)"
         }
     },
-    "postCreateCommand": "set -x && ls -la ${containerWorkspaceFolder} && export DEVCONTAINER_ID=${devcontainerId} && chmod +x /tmp/setup_history.sh && . /tmp/setup_history.sh",
+    "postCreateCommand": "export DEVCONTAINER_ID=${devcontainerId} && chmod +x /tmp/setup_history.sh && . /tmp/setup_history.sh",
     "mounts": [{
         "source": "devcontainers",
         "target": "/devcontainers",
         "type": "volume"
-    }
-    // ,
-    // {
-    //     "source": "${containerWorkspaceFolder}/scripts/setup_history.sh",
-    //     "target": "/tmp/setup_history.sh",
-    //     "type": "bind"
-    // }
-]
+    },
+    {
+        "source": "${containerWorkspaceFolder}/scripts/setup_history.sh",
+        "target": "/tmp/setup_history.sh",
+        "type": "bind"
+    }]
 }