benjamin/ros-devcontainer
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

fix bash history

Browse Source
This commit is contained in:
Benjamin Aarsen
2025-09-10 09:01:13 +02:00
parent 93f2367536
commit f3f2bd9865
1 changed files with 5 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files

10
devcontainer.json
View File

@@ -8,9 +8,9 @@
// "--cap-add=SYS_PTRACE", // Allows the container to trace processes using ptrace system call // "--cap-add=SYS_PTRACE", // Allows the container to trace processes using ptrace system call
// "--security-opt=seccomp=unconfined", // Disables seccomp security profiles for the container // "--security-opt=seccomp=unconfined", // Disables seccomp security profiles for the container
// "--ipc=host", // Shares the host's IPC namespace with the container // "--ipc=host", // Shares the host's IPC namespace with the container
"--network=host" // Shares the host's network namespace with the container "--network=host", // Shares the host's network namespace with the container
// "--pid=host", // Shares the host's PID namespace with the container // "--pid=host", // Shares the host's PID namespace with the container
// "--privileged", // Gives the container full access to the host's devices and allows it to run with root privileges "--privileged", // Gives the container full access to the host's devices and allows it to run with root privileges
], ],
"workspaceMount": "source=${localWorkspaceFolder},target=/home/ubuntu/${localWorkspaceFolderBasename},type=bind", "workspaceMount": "source=${localWorkspaceFolder},target=/home/ubuntu/${localWorkspaceFolderBasename},type=bind",
"workspaceFolder": "/home/ubuntu/${localWorkspaceFolderBasename}", "workspaceFolder": "/home/ubuntu/${localWorkspaceFolderBasename}",
@@ -27,8 +27,8 @@
}, },
// Uncomment to persist bash history between sessions // Uncomment to persist bash history between sessions
{ {
"source": "${localEnv:HOME}${localEnv:USERPROFILE}/.bash_history", "source": "${localEnv:HOME}/.bash_history",
"target": "/root/.bash_history", "target": "/home/ubuntu/.bash_history",
"type": "bind" "type": "bind"
}, },
// add dri3 // add dri3
@@ -55,5 +55,5 @@
}, },
"features": { "features": {
"ghcr.io/devcontainers/features/common-utils:2": {} "ghcr.io/devcontainers/features/common-utils:2": {}
} },
} }