All the changes in this PR are about fixing and optimising the devcontainer
Strip shell script: the powerlevel10k stuff caused the repo to be made out of 46.9% sh lmao, so I strip the file and it should be decreased to 21.9% after the merge. I will try to find more stuff to strip, but that's what I can do for today.
Dep: Switched to Ubuntu, added some build dependencies, and use root account. Ideally when the code gets fixed, building in devcontainer should work.
Pl10k: the zsh prompt looks better? Idk, try it out
Live share: the live share plugin is now installed in devcontainer to allow live collaboration.
All the changes in this PR are about fixing and optimising the devcontainer
Strip shell script: the powerlevel10k stuff caused the repo to be made out of 46.9% sh lmao, so I strip the file and it should be decreased to 21.9% after the merge. I will try to find more stuff to strip, but that's what I can do for today.
Dep: Switched to Ubuntu, added some build dependencies, and use root account. Ideally when the code gets fixed, building in devcontainer should work.
Pl10k: the zsh prompt looks better? Idk, try it out
Live share: the live share plugin is now installed in devcontainer to allow live collaboration.