New Standard Procedure to create Docker images of a SWISH server

As of Christmas 2022, we no longer use custom docker images, as in fact the standard SWISH image built with https://github.com/SWI-Prolog/docker-swish suffices for our needs, ergo the deprecation of the older dockerfiles.

To ensure a specific version we use image logicalcontracts/swish-june2023-multi, which is simply the above built for SWISH version 1291756b14ea8b37d3825e219bb01344a3b6c2ff (June 3, 2023) and with:

docker buildx build --push --platform linux/arm/v7,linux/arm64/v8,linux/amd64 -t logicalcontracts/swish-june2023-multi .

You may have to execute this first:

docker buildx create --use

Cf. https://www.docker.com/blog/multi-arch-build-and-images-the-simple-way/

Issues with more recent SWISH dockerfile

I had to tweak https://github.com/SWI-Prolog/docker-swish by adding the --allow-insecure-repositories flag to apt-get commands; and flush the Docker cache with `docker builder prune` (or augment your Docker disk size).

Testing a server in a developer's machine

Running for testing a server in developer's machine:

HACK: before the next command, set up some dir in your host for swish data, and do this once (notice that the source dir does NOT exist on your host, but it will exist inside the container):

ln -s /app/swish/config-enabled /Users/mc/TaxKB_swish_data

docker run -it -p 8082:3050 -v /Users/mc/TaxKB_swish_data:/data  -v /Users/mc/git/LogicalEnglish:/app -e LOAD_KB=true  --memory="300m" logicalcontracts/swish-june2023-multi

Add --bash to the end if you want to peek inside the container.

On Ubuntu server:

chown -R 1000:1000 /home/ubuntu/TaxKB_swish_data

In particular, it's important that the data subdirectory's user is not root, because it is used to run SWISH and thus interact with the filesystem

And finally:

docker run -it -p 8082:3050 -v /home/ubuntu/TaxKB_swish_data:/data:rw -v /home/ubuntu/LogicalEnglish:/app:rw -e LOAD_KB=true --memory="300m"  logicalcontracts/swish-june2023-multi

docker run -d --restart always -p 8082:3050 -v /home/ubuntu/TaxKB_swish_data:/data:rw -v /home/ubuntu/LogicalEnglish:/app:rw -e LOAD_KB=true --memory="400m"  logicalcontracts/swish-june2023-multi

If multi-platform is not a must, then simply `docker build -t logicalcontracts/swish-june2023 .` and

docker run -d --restart always -p 8082:3050 -v /home/ubuntu/TaxKB_swish_data:/data:rw -v /home/ubuntu/LogicalEnglish:/app:rw -e LOAD_KB=true --memory="400m"  logicalcontracts/swish-june2023