Genericized containerfile

.github/workflows/dockerhub.yml

@@ -35,6 +35,7 @@ jobs:
         uses: docker/build-push-action@7f9d37fa544684fb73bfe4835ed7214c255ce02b
         with:
           context: .
+          file: {context}/Containerfile
           push: ${{ github.event_name != 'pull_request' }}
           tags: ${{ steps.meta.outputs.tags }}
           labels: ${{ steps.meta.outputs.labels }}

DEVELOPMENT.md

@@ -48,7 +48,7 @@ You can also build the package with
 You can also always build and run the server with
 
 ```console
-	sh ./dev/dockerrun.sh
+	sh ./dev/run_docker.sh
 ```
 
 This will use the directory `testdata`.

dev/run_docker.sh

@@ -1,2 +1,2 @@
-docker build -t maloja . -f Dockerfile
+docker build -t maloja . -f Containerfile
 docker run --rm -p 42010:42010 -v $PWD/testdata:/mlj -e MALOJA_DATA_DIRECTORY=/mlj maloja

dev/run_podman.sh

@@ -0,0 +1,2 @@
+podman build -t maloja . -f Containerfile
+podman run --rm -p 42010:42010 -v $PWD/testdata:/mlj -e MALOJA_DATA_DIRECTORY=/mlj maloja