From 33f22bcea5095f1812477d2ef11004035ecc3b4a Mon Sep 17 00:00:00 2001 From: ebner Date: Wed, 16 Nov 2022 09:18:24 +0100 Subject: [PATCH] add additional infrastructure server --- infrastructure-guide/home.md | 2 ++ 1 file changed, 2 insertions(+) diff --git a/infrastructure-guide/home.md b/infrastructure-guide/home.md index b57636a5..15dc6507 100644 --- a/infrastructure-guide/home.md +++ b/infrastructure-guide/home.md @@ -26,6 +26,8 @@ List of systems and their primary role: * [satint](satint) - 129.129.160.114 - PSI Satellite server +* http://linux.web.psi.ch - YUM Repositories SL6 / RHEL7 + ![](overview_linux.drawio.svg)