From b18804513ffe9792fd76fc5030c7d21e451a3fcc Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Yann=20M=C3=B6lle?= Date: Wed, 19 Apr 2023 19:55:00 +0200 Subject: [PATCH] =?UTF-8?q?=E2=80=9Erunupdate=E2=80=9C=20=C3=A4ndern?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- runupdate | 9 +++++++-- 1 file changed, 7 insertions(+), 2 deletions(-) diff --git a/runupdate b/runupdate index 4bb8a9a..2c609f2 100644 --- a/runupdate +++ b/runupdate @@ -1,7 +1,12 @@ #!/bin/bash -# List of servers to update -servers=(10.0.0.50 10.0.0.51) +# Read the server list from a file +servers_file="servers.conf" +if [ ! -f "$servers_file" ]; then + echo "Error: $servers_file does not exist." + exit 1 +fi +servers=($(cat "$servers_file")) # SSH username for remote access user=root