| .. |
|
Dockerfile
|
8aeacca011
Include /usr/bin/time in the docker
|
%!s(int64=2) %!d(string=hai) anos |
|
build-docker
|
d90cd7a38f
Allow docker scripts to be run from other directories
|
%!s(int64=2) %!d(string=hai) anos |
|
run-experiment
|
641820f96a
The -a flag to prac also implies preprocessing
|
%!s(int64=2) %!d(string=hai) anos |
|
set-networking
|
d90cd7a38f
Allow docker scripts to be run from other directories
|
%!s(int64=2) %!d(string=hai) anos |
|
start-docker
|
5d34bcd527
Add a comment about the SYS_NICE capability in start-docker
|
%!s(int64=3) %!d(string=hai) anos |
|
stop-docker
|
37c2bca08e
Use "-t 0" with "docker stop"
|
%!s(int64=2) %!d(string=hai) anos |
|
unset-networking
|
c8f6e0ae4a
Dockerization
|
%!s(int64=3) %!d(string=hai) anos |
Ian Goldberg
641820f96a
The -a flag to prac also implies preprocessing