drwxr-xr-x | [up] | |||
-rw-r--r-- | 2022-10-19 20:53 +0200 | 2260 | Dockerfile | file | revisions | annotate |
-rwxr-xr-x | 2022-10-19 20:53 +0200 | 152 | build_docker_image.sh | file | revisions | annotate |
-rwxr-xr-x | 2022-10-19 20:53 +0200 | 66 | clean_docker_container.sh | file | revisions | annotate |
-rwxr-xr-x | 2022-10-19 20:53 +0200 | 55 | clean_docker_image.sh | file | revisions | annotate |
-rwxr-xr-x | 2022-10-19 20:53 +0200 | 853 | create_docker_container.sh | file | revisions | annotate |
-rwxr-xr-x | 2022-10-19 20:53 +0200 | 172 | do_test_in_docker.sh | file | revisions | annotate |
-rwxr-xr-x | 2022-10-19 20:53 +0200 | 74 | enter_docker.sh | file | revisions | annotate |
-rwxr-xr-x | 2022-10-19 20:53 +0200 | 136 | enter_docker_as_root.sh | file | revisions | annotate |
-rwxr-xr-x | 2022-10-19 20:53 +0200 | 146 | rebuild_docker.sh | file | revisions | annotate |