Archived
1
0

doc: Improve docker example to mount in $HOME for easy config access

I'm surprised no one has asked any questions about this.
This commit is contained in:
Anmol Sethi 2020-08-26 13:00:10 -04:00
parent a730bec6f4
commit 312a4d584c
No known key found for this signature in database
GPG Key ID: 8CEF1878FF10ADEB

View File

@ -174,7 +174,13 @@ code-server
# It will also mount your current directory into the container as `/home/coder/project` # It will also mount your current directory into the container as `/home/coder/project`
# and forward your UID/GID so that all file system operations occur as your user outside # and forward your UID/GID so that all file system operations occur as your user outside
# the container. # the container.
#
# Your $HOME/.config is mounted at $HOME/.config within the container to ensure you can
# easily access/modify your code-server config in $HOME/.config/code-server/config.json
# outside the container.
mkdir -p ~/.config
docker run -it -p 127.0.0.1:8080:8080 \ docker run -it -p 127.0.0.1:8080:8080 \
-v "$HOME/.config:/home/coder/.config" \
-v "$PWD:/home/coder/project" \ -v "$PWD:/home/coder/project" \
-u "$(id -u):$(id -g)" \ -u "$(id -u):$(id -g)" \
codercom/code-server:latest codercom/code-server:latest