Commit Graph

5 Commits (9ee4c931f3a08150851ffd8eade7f841c4369b89)

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