Justin Newberry 021effc5ac Devcontainer: use "batman" user instead of root (#29704) ...

* devcontainer user

* cleanup permissions

* remove that

* remove that since it's not used

* clean that up after merge

* build base image first

* remove the pull

* build base image

* ensure we can pip install

* build base image as batman user

* add user uid

* add temporary comment about chown instruction

2023-09-25 10:36:54 -07:00

..

.gitignore

devcontainer: expose host config, fix mac screen issues (#29932)

2023-09-15 23:00:24 +02:00

container_post_create.sh

Devcontainer: use "batman" user instead of root (#29704)

2023-09-25 10:36:54 -07:00

container_post_start.sh

devcontainer: expose host config, fix mac screen issues (#29932)

2023-09-15 23:00:24 +02:00

devcontainer.json

Devcontainer: use "batman" user instead of root (#29704)

2023-09-25 10:36:54 -07:00

Dockerfile

Devcontainer: use "batman" user instead of root (#29704)

2023-09-25 10:36:54 -07:00

host_setup.sh

Devcontainer: improve CI tests and support using local built image (#30012)

2023-09-24 17:24:44 -07:00