Commit Graph

5 Commits (78e9ec429177df93a148d0cfac20be0d2ed7572f)

Author SHA1 Message Date
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