Der spätere Build-Prozess benutzt nicht oder nicht immer die übliche Umgebungsvariable `https_proxy` beim Herunterladen externer Dateien unter Verwendung des Proxy-Servers. Um trotzdem erfolgreich zu sein, muss zusätzlich 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 jeweiligen URL (siehe resultierender 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 jeweiligen URL (siehe resultierender Eintrag in `.git/config`). Damit erübrigt sich jetzt und später deren manuelle Eingabe.
Installation einer für »devhub« benötigten Java-Bibliothek:
...
...
@@ -97,16 +103,19 @@ Anmerkung: Es ist nicht ausgeschlossen, dass sich die Erzeugung dieser Bibliothe
```
cd devhub
git pull
./make_jar
cd devproxy
git pull
./make_jar
cd metis
git pull
./make_jar
```
Die gewünschten jar-Dateien befinden sich danach jeweils in `target/`.
Die gewünschten jar-Dateien befinden sich nach erfolgreichem Kompilieren jeweils in `target/`.