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

Reviewed-on: #87
Added shebang
2023-06-28 22:42:37 +02:00 · 2023-06-28 22:37:35 +02:00 · 2023-06-28 22:32:44 +02:00 · 2023-06-28 22:30:33 +02:00
2 changed files with 4 additions and 2 deletions
--- a/auto_build.sh
+++ b/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)

--- a/spaceapi.py
+++ b/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):
Author	SHA1	Message	Date
alex	019bad3b99	Merge pull request 'Bugfix logo change' (#87 ) from bugfix-logo-change into main Reviewed-on: #87	2023-06-28 22:42:37 +02:00
alex	af4560513b	Added shebang	2023-06-28 22:37:35 +02:00
alex	2b5ddcd72b	Cosmetic changes	2023-06-28 22:32:44 +02:00
alex	bc98aa2fa2	„spaceapi.py“ ändern	2023-06-28 22:30:33 +02:00