From dd3ac4ec5bccf0d686ba2eb3293a2d02ccc392ed Mon Sep 17 00:00:00 2001
From: erow <clouderow@gmail.com>
Date: Wed, 7 Feb 2024 20:01:43 +0000
Subject: [PATCH] script for codespace to use tmp space.
---
.devcontainer/devcontainer.json | 26 ++++++++++++++++++++++++++
.devcontainer/tmpspace.sh | 2 ++
2 files changed, 28 insertions(+)
create mode 100644 .devcontainer/devcontainer.json
create mode 100644 .devcontainer/tmpspace.sh
diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json
new file mode 100644
index 0000000..f3d2a5d
--- /dev/null
+++ b/.devcontainer/devcontainer.json
@@ -0,0 +1,26 @@
+// For format details, see https://aka.ms/devcontainer.json. For config options, see the
+// README at: https://github.com/devcontainers/templates/tree/main/src/docker-existing-dockerfile
+{
+ "name": "Existing Dockerfile",
+ // "build": {
+ // // Sets the run context to one level up instead of the .devcontainer folder.
+ // "context": "..",
+ // // Update the 'dockerFile' property if you aren't using the standard 'Dockerfile' filename.
+ // "dockerfile": "../.cde.Dockerfile"
+ // },
+
+ // Features to add to the dev container. More info: https://containers.dev/features.
+ // "features": {},
+
+ // Use 'forwardPorts' to make a list of ports inside the container available locally.
+ // "forwardPorts": [],
+
+ // Uncomment the next line to run commands after the container is created.
+ "postCreateCommand": "bash azure.sh"
+
+ // Configure tool-specific properties.
+ // "customizations": {},
+
+ // Uncomment to connect as an existing user other than the container default. More info: https://aka.ms/dev-containers-non-root.
+ // "remoteUser": "devcontainer"
+}
\ No newline at end of file
diff --git a/.devcontainer/tmpspace.sh b/.devcontainer/tmpspace.sh
new file mode 100644
index 0000000..515f6c3
--- /dev/null
+++ b/.devcontainer/tmpspace.sh
@@ -0,0 +1,2 @@
+sudo mv /var/lib/docker/ /tmp/
+sudo ln -s /tmp/docker /var/lib/docker
\ No newline at end of file
--
GitLab