Proxy authored by Rolf Niepraschk's avatar Rolf Niepraschk
......@@ -14,11 +14,27 @@ CAL*
JAVA*
```
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:
```
touch ~/.m2/settings.xml
https://gitlab1.ptb.de/vaclab/metis
mkdir -p ~/.m2
cat <<EOF >> ~/.m2/settings.xml
<?xml version="1.0" encoding="UTF-8"?>
<settings>
<proxies>
<proxy>
<id>PTB</id>
<active>true</active>
<protocol>http</protocol>
<host>webproxy.berlin.ptb.de</host>
<port>8080</port>
<nonProxyHosts>localhost|127.0.0.1|*.ptb.de</nonProxyHosts>
</proxy>
</proxies>
</settings>
EOF
```
## Clojure-Installation
......@@ -43,7 +59,7 @@ und -Bibliotheken (siehe [»Install Clojure«](https://clojure.org/guides/instal
### Klonen des Programmcodes
Wegen der Übersichtlichkeit sollten die folgenden Git-Repositorien unterhalb eines Unterverzeichisses (z.B. `~/myapps`) angelegt werden.
Wegen der Übersichtlichkeit sollten die folgenden Git-Repositorien unterhalb eines Verzeichnisses (z.B. `~/myapps`) angelegt werden.
```
git clone https://$(printf %s 'USERNAME'|jq -Rr @uri):$(printf %s 'PASSWORD'|jq -Rr @uri)@gitlab1.ptb.de/vaclab/devproxy.git
......@@ -51,22 +67,22 @@ 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 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
# »javadoc« kann ignoriert werden.
cd ..
cp -pvr --parents jvxi11/external jvxi11/dist devhub/resources/
```
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
......
......