From eb948d0537e85e0b03eb6c84220bf526a7fc0450 Mon Sep 17 00:00:00 2001 From: paulzierep Date: Wed, 5 Jun 2024 10:27:26 +0200 Subject: [PATCH] update server script --- bin/get_public_galaxy_servers.py | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/bin/get_public_galaxy_servers.py b/bin/get_public_galaxy_servers.py index 9bcec47f..7b222ddf 100644 --- a/bin/get_public_galaxy_servers.py +++ b/bin/get_public_galaxy_servers.py @@ -8,7 +8,7 @@ def get_public_galaxy_servers(output: str) -> None: """ Get public galaxy servers, that can be queried for tools using their API - :param output: path to output the server list + :param output: path to output the server list tsv """ to_process = {} @@ -47,7 +47,7 @@ def get_public_galaxy_servers(output: str) -> None: s = pd.Series(to_process) s.index.name = "name" - s.name = "urls" + s.name = "url" s.to_csv(output)