Commit Graph

5 Commits (5a9aa3b3a95d3881152dff497c09f8f7547abe08)

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