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 ...@@ -7,14 +7,23 @@ Die folgenden Schritte sind als Vorbereitung des Kompilierens und zur Ausführun
``` ```
sudo apt install default-jre curl rlwrap ant 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* METIS*
CAL* CAL_USR="cal"
CAL_PWD="<password>"
JAVA* 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 mkdir -p ~/.m2
...@@ -67,9 +76,9 @@ git clone https://$(printf %s 'USERNAME'|jq -Rr @uri):$(printf %s 'PASSWORD'|jq ...@@ -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 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 git clone https://github.com/mikef5410/jvxi11.git
... ...
......