environment variables authored by Rolf Niepraschk's avatar Rolf Niepraschk
......@@ -7,14 +7,23 @@ Die folgenden Schritte sind als Vorbereitung des Kompilierens und zur Ausführun
```
sudo apt install default-jre curl rlwrap ant
```
In der Datei `/etc/environment` müssen, ggf. abhängig von der Kalibriereinrichtung, folgende Umgebungsvariablen definiert werden:
/etc/environment <-- Variablen (CE3 / SE3)
|CE3||SE3|
|-------------|-|-------------|
|`METIS_FACILITY="CE3"`||`METIS_FACILITY="SE3"`|
```
METIS_DEVHUB_URL="http://localhost:9009"
METIS*
CAL*
CAL_USR="cal"
CAL_PWD="<password>"
JAVA*
```
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:
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:
```
mkdir -p ~/.m2
......@@ -67,9 +76,9 @@ git clone https://$(printf %s 'USERNAME'|jq -Rr @uri):$(printf %s 'PASSWORD'|jq
git clone https://$(printf %s 'USERNAME'|jq -Rr @uri):$(printf %s 'PASSWORD'|jq -Rr @uri)@gitlab1.ptb.de/vaclab/metis.git
```
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.
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ötigte Java-Bibliothek:
Installation einer für »devhub« benötigten Java-Bibliothek:
```
git clone https://github.com/mikef5410/jvxi11.git
......
......