Der spätere Build-Prozess benutzt nicht oder nicht immer die übliche Umgebungsvariable `https_proxy` für das Herunterladen externer Bibliotheken. Um trotzdem erfolgreich zu sein, muss die folgende Konfigurationsdatei angelegt werden und Angaben zum Proxy-Server enthalten:
Der spätere Build-Prozess benutzt nicht oder nicht immer die übliche Umgebungsvariable `https_proxy` für das Herunterladen externer Dateien unter Verwendung eines Proxy-Servers. Um trotzdem erfolgreich zu sein, muss die folgende Konfigurationsdatei angelegt werden und die Angaben zum Proxy-Server enthalten:
Anmerkung: Mithilfe der Konstrukte `$(printf %s '??????????'|jq -Rr @uri)` werden Nutzername und Password URL-encoded zu Bestandteilen der Gitlab-URL (siehe danach Eintrag in `.git/config`). Damit erübrigt sich jetzt und später deren manuelle Eingabe.
Anmerkung: Mithilfe der Konstrukte `$(printf %s '??????????'|jq -Rr @uri)` werden Nutzername und Password URL-encoded zu Bestandteilen der Gitlab-URL (siehe Eintrag in `.git/config`). Damit erübrigt sich jetzt und später deren manuelle Eingabe.
Installation einer für »devhub« benötigte Java-Bibliothek (VXI11-Kommunikation):
Installation einer für »devhub« benötigte Java-Bibliothek:
```
git clone https://github.com/mikef5410/jvxi11.git
cd jvxi11
ant
# Der Fehler beim Erzeugen der Dokumentation wegen fehlendem
# Programm »javadoc« kann ignoriert werden.
# Der Fehler beim Erzeugen der Dokumentation wegen fehlendem Programm
Anmerkung: Es ist nicht ausgeschlossen, dass sich die Erzeugung der jvxi11-Bibliothek auch automatisieren ließe, wenn man die Angaben in `devhub/deps.edn` geeignet anpassen könnte/würde.
Anmerkung: Es ist nicht ausgeschlossen, dass sich die Erzeugung dieser Bibliothek auch automatisieren ließe, wenn man die Angaben in `devhub/deps.edn` geeignet anpassen könnte/würde.
### Erzeugen der jar-Dateien für die Messprogramme