diff --git a/.env b/.env index 3a01675..e2ded67 100644 --- a/.env +++ b/.env @@ -19,7 +19,7 @@ MONITOR_PORT_WEB=5000 # host-side port to exposed Web server MONITOR_PORT_LOG=8088 # host-side port to exposed Dozzle (Docker log viewer) # Controller SSH server (with-ocrd-controller) -CONTROLLER_BASE_VERSION=2023-06-14 # tag of ocrd/all from stage version +CONTROLLER_BASE_VERSION=2023-06-18 # tag of ocrd/all from stage version CONTROLLER_IMAGE=ghcr.io/slub/ocrd_controller:stable # name and tag of image CONTROLLER_HOST=ocrd-controller # name/address of server (for Manager/Monitor) CONTROLLER_PORT_SSH=22 # SSH port (for Manager/Monitor)