DEV: remove ssh mounts (use ssh-agent instead)

iqtree · Sep 12, 2024 · 3cafb55 · 3cafb55
1 parent 0a58e53
commit 3cafb55
Showing 1 changed file with 0 additions and 4 deletions.
diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json
@@ -29,9 +29,5 @@
         }
     },
     "remoteUser": "user",
-    "mounts": [
-        "source=${localEnv:HOME}/.ssh,target=/home/user/.ssh,type=bind,consistency=cached",
-        "source=${localEnv:USERPROFILE}/.ssh,target=/home/user/.ssh,type=bind,consistency=cached"
-    ],
     "postCreateCommand": "sudo chown -R user:user /home/user/.ssh && git config --global --add safe.directory ${containerWorkspaceFolder}"
 }