„setup-servers“ ändern

2023-04-19 20:25:12 +02:00 · 2023-04-19 20:25:12 +02:00 · eed913af1f
commit eed913af1f
parent f0c8f02318
1 changed files with 1 additions and 1 deletions
--- a/2
+++ b/2
@ -1,7 +1,7 @@
 #!/bin/bash

 # Read the server list from a file
-servers_file="servers.txt"
+servers_file="servers.conf"
 if [ ! -f "$servers_file" ]; then
    echo "Error: $servers_file does not exist."
    exit 1