@@ -77,7 +77,17 @@ provide a server update via git
git push && git push --tags
Anm.: Das automatische Server-Update via git funktioniert von `gitlab1.ptb.de` aus nicht mehr. Es ist daher nötig, im Verzeichnis des installierten Servers (`a73434`, `/usr/local/share/bur`) händisch `git pull` aufzurufen. Das Vergeben der Tags (s.o.) sollte aber beibehalten werden (RN, 2023-04-17).
Anm.: Das automatische Server-Update via git funktioniert von `gitlab1.ptb.de` aus nicht mehr. Es ist daher nötig, im Verzeichnis des installierten Servers (`a73434`, `/usr/local/share/bur`) händisch
.. code-block:: shell
ssh root@a73434
...
cd http://a73434.berlin.ptb.de:5000/bur/
git pull
chown -R nobody.nobody .
aufzurufen. Das Vergeben der Tags (s.o.) sollte aber beibehalten werden (RN, 2023-06-21).