Erstmal vielen Dank für Euere Hilfe!
Das Problem habe ich in der Zwischenzeit behoben:
Ich hatte den Server beim ersten Mal per Startscript gestartet. Dadurch hat er alles in die Console geschrieben. Er hing, wie beschrieben, beim Designupdate, doch leider konnte ich die Abfrage ja nicht bestätigen.
Da ich an dieser Stelle nicht weitergekommen bin, habe ich die Konsole abgeschossen und nochmals auf der Kommandozeile den Server gestartet. Was ich aber leider nicht gesehen habe: der erste Startversuch lief noch im Hintergrund. D.h. mehrere 'server'-Prozesse liefen auf dem Dominoserver.
Nach einem Neustart der Linuxkiste und einem manuellen 'server'-Start konnte ich das Designupdate dann auf der Konsole bestätigen.
Lag also weniger an Domino als an den richtigen Blick ...