docker container dot files

[iansmith]

The current .devcontainer/Dockerfile seems to have a messed up configuration. Originally it was intended to install zsh for the user parigot but that doesn't appear to always work.

It would probably be best for everybody if we just supported some dotfiles program:

github's info on dot files

[cindyuc]

The only error I met was "theme 'powerlevel10k/powerlevel10k' not found". It seems that the theme was not installed on my end. I checked my .oh-my-zsh dir, this theme really didn't exist.

What I did was download it from the internet and put it in the correct dir (refer to this issue). Then, it works and I can use it.

I checked the Dockerfile and didn't find anything related to downloading the theme (correct me if I missed something). I think what we need to do is add a line to the Dockerfile to install the theme correctly.