Commit Graph

5 Commits (d8b674f4dc135f3c5c15647fc7809c42c991cbf7)

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