| .. |
|
Dockerfile
|
8aeacca011
Include /usr/bin/time in the docker
|
vor 7 Monaten |
|
build-docker
|
d90cd7a38f
Allow docker scripts to be run from other directories
|
vor 7 Monaten |
|
run-experiment
|
641820f96a
The -a flag to prac also implies preprocessing
|
vor 7 Monaten |
|
set-networking
|
d90cd7a38f
Allow docker scripts to be run from other directories
|
vor 7 Monaten |
|
start-docker
|
5d34bcd527
Add a comment about the SYS_NICE capability in start-docker
|
vor 1 Jahr |
|
stop-docker
|
37c2bca08e
Use "-t 0" with "docker stop"
|
vor 7 Monaten |
|
unset-networking
|
c8f6e0ae4a
Dockerization
|
vor 1 Jahr |
Ian Goldberg
641820f96a
The -a flag to prac also implies preprocessing