Merge pull request 'Bugfix logo change' (#87) from bugfix-logo-change into main

Reviewed-on: Frontend/Homepage#87

auto_build.sh

@@ -91,7 +91,7 @@ latest_remote_sha () {
 # do the build
 build_page() {
     # sync logo with spaceapi
-    "python3" "$CLONE_DIR""/spaceapi.py" "$CLONE_DIR"
+    ./spaceapi.py "$CLONE_DIR"
 
     TMPDIR=$(mktemp -d -t hugo_build_XXXXX)
 

spaceapi.py

@@ -1,3 +1,4 @@
+#!/usr/bin/env python3
 # Python Requirements
 # python3
 # requests
@@ -6,6 +7,7 @@
 import requests
 import os
 import sys
+from typing import List
 
 path: str = sys.argv[1]
 api: str = "https://api.dezentrale.cloud/spaceapi/v14"
@@ -14,7 +16,7 @@ space_closed: str = path + "/assets/logo_closed"
 space_unknown: str = path + "/assets/logo_unknown"
 space_logo: str = path + "/assets/logo"
 
-extensions: list[str] = [".png", ".svg"]
+extensions: List[str] = [".png", ".svg"]
 
 # every extension needs to be linked
 def link(src: str, dest: str):