John Colvin
8c95b43524
To ensure it is unique on the main host (i.e., outside the container). Get rid of devcontainer_initialize.sh, all it did was run "mkdir". Something this trivial can be inlined in the devcontainer.json (less indirection this way).