code-server/doc
Anmol Sethi 9fb318cf15
docker: Fix $DOCKER_USER (#2057)
We do not try renaming $HOME anymore as there is no good way
to do it.

We also only try to convert if the user hasn't been changed.

Finally I added usage to the docker docs in install.md

Closes #2056
2020-09-03 18:38:40 -04:00
..
assets Replace gif with screenshot 2020-05-27 15:48:22 -04:00
CONTRIBUTING.md Minor release process fixes (#2042) 2020-09-03 02:16:57 -04:00
FAQ.md Switch from subreddit to GitHub discussions for support (#1993) 2020-08-25 12:13:11 -04:00
guide.md Bundle systemd system unit 2020-08-27 13:20:21 -04:00
install.md docker: Fix $DOCKER_USER (#2057) 2020-09-03 18:38:40 -04:00
npm.md doc: Update npm docs for debian sid 2020-08-26 13:54:42 -04:00