Closed baltitenger closed 1 year ago
Note: also updated vscode cpptools to v1.16.3.
I just wanted it to be obvious that it's not running plain wget. I guess it could be an alias with a different name as well.
I see, that's a good point I did not think of.
My main use case for all this is that I have a persistent disk mounted during setup.sh so even if I rebuild the image I basically don't have to download anything.
(I have a separate script for setting up the mounts, but I didn't add it to the repo as it might be regarded as a bit of a hack. I mostly used it while I was on holiday and had a rather slow connection.)
It's a great work you did there.
However, based on the changes, I opened #61 to for minor changes regarding the patches (revert some, document some, and split to more commits). I hope it's not a problem.
Use wget everywhere, store all temporary files in /tmp/cache.