Commit Graph

6 Commits (ae0a9975b673a98b76619dc8404ea5ba3a137df4)

Author SHA1 Message Date
Jesse Vincent 4c421277a7
make a comment in run-docker shellcheck friendlier
4 years ago
Jesse Vincent b70b851321
Teach docker-run to run interactively or to be able to run from a non-interactive process like a git hook
4 years ago
Michael Richters 26f4ef498a
Set BOARD_HARDWARE_PATH correctly for run-docker on macOS
4 years ago
Gergely Nagy ba7b496af5
Rework our Docker config for performance
4 years ago
Gergely Nagy 0f7ff140fc
docker: Simplify the Dockerfile a little
4 years ago
Gergely Nagy c743befb7f
Add a small tool, to run things within Docker
4 years ago