drwxr-xr-x | [up] | |||
-rw-r--r-- | 2023-10-04 16:24 +0200 | 3840 | Dockerfile | file | revisions | annotate |
-rwxr-xr-x | 2023-10-04 16:24 +0200 | 201 | build_docker_image.sh | file | revisions | annotate |
-rwxr-xr-x | 2023-10-04 16:24 +0200 | 66 | clean_docker_container.sh | file | revisions | annotate |
-rwxr-xr-x | 2023-10-04 16:24 +0200 | 55 | clean_docker_image.sh | file | revisions | annotate |
-rwxr-xr-x | 2023-10-04 16:24 +0200 | 850 | create_docker_container.sh | file | revisions | annotate |
-rwxr-xr-x | 2023-10-04 16:24 +0200 | 172 | do_test_in_docker.sh | file | revisions | annotate |
-rwxr-xr-x | 2023-10-04 16:24 +0200 | 74 | enter_docker.sh | file | revisions | annotate |
-rwxr-xr-x | 2023-10-04 16:24 +0200 | 136 | enter_docker_as_root.sh | file | revisions | annotate |
-rwxr-xr-x | 2023-10-04 16:24 +0200 | 146 | rebuild_docker.sh | file | revisions | annotate |