Nochmal zu Hause

Ein ruhiger und schöner Vormittag.

Für den Nachmittag haben wir meinen Schwiegervater eingeladen, wie fast jeden Sonn- und Feiertag. Nach dem Kaffee haben wir allerdings noch etwas dringendes zu tun und bitten ihn deshalb um die dafür nötige Zeit. Leider gehen rund zwei Stunden drauf, die er vorm Fernseher verbringt (es läuft immerhin Skispringen, wofür er sich interessiert), und danach ist es Zeit zum Aufbruch (ich will ja noch am Abend wieder in der Klinik sein).

Unser dringendes TODO ist der Update der ASV-Installation (Amtliche Schulverwaltung für Bayern) für die Grundschule, die zu derselben Schulfamilie gehört, in der meine Frau auch beschäftigt ist. Die Unterschiede zu Realschule und Gymnasium, die das System bereits produktiv nutzen müssen: Die Grundschule hat eine getrennte Installation, da dort noch kein Produktivbetrieb läuft, und vor allem: dort arbeiten mehrere Benutzer gleichzeitig mit dem System (und zwar über Thin-Clients auf einem Terminalserver), während für Realschule und Gymnasium im Wesentlichen nur eine Person die Daten pflegt.

Der Update als solcher läuft problemlos ab, aber wegen der mehreren gleichzeitigen Benutzer auf demselben Computer (dem Terminalserver) muss eine Datei angepasst werden, die bei jedem Update überschrieben wird. Die Datei ist eine Java-Archiv-Datei (Endung .jar). Auch diesmal hat sich der Inhalt nicht geändert, was man aber erst nach dem Entpacken sieht1. So können wir einfach die Version nehmen, die ich bei einem der letzten Updates erstellt habe.

Diese Tests und gegebenenfalls Anpassungen an den XML-Daten mache ich normalerweise unter Linux, wo ich alle Mittel zur Verfügung habe (zip/unzip, diff, und zum Anpassen irgendeinen Editor). Linux ist allerdings nichts, was meiner Frau sonderlich vertraut ist (sie nutzt meinen PC vor allem für Internetzugang, weil ich das für sicherer halte als Windows). Sie wünscht sich deshalb ein Programm, das das automatisch macht, am Besten unter Windows. Mein nächstes TODO.

Fußnoten


  1. Java-Archiv-Dateien haben das Format eines ZIP-Archivs. Anscheinend wird die fragliche Datei für jede Auslieferung neu erstellt, vielleicht sogar die enthaltenen Dateien, so dass unterschiedliche Änderungstermine enthalten sind und sich die Archive dadurch unterscheiden. ↩︎