YunoHost-Apps/jellyfin_ynh
1
0
Fork 0
mirror of https://github.com/YunoHost-Apps/jellyfin_ynh.git synced 2024-09-03 19:26:29 +02:00
Code Issues Activity Actions

Merge pull request #157 from YunoHost-Apps/testing

Browse source 
Testing
This commit is contained in:
Kayou 2024-06-27 09:14:00 +02:00 • committed by GitHub
commit 6a12fe0f3c
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
8 changed files with 36 additions and 37 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
README.md
View file

@ -5,7 +5,7 @@ It shall NOT be edited by hand.
# Jellyfin for YunoHost # Jellyfin for YunoHost
[![Integration level](https://dash.yunohost.org/integration/jellyfin.svg)](https://dash.yunohost.org/appci/app/jellyfin) ![Working status](https://ci-apps.yunohost.org/ci/badges/jellyfin.status.svg) ![Maintenance status](https://ci-apps.yunohost.org/ci/badges/jellyfin.maintain.svg) [![Integration level](https://dash.yunohost.org/integration/jellyfin.svg)](https://ci-apps.yunohost.org/ci/apps/jellyfin/) ![Working status](https://ci-apps.yunohost.org/ci/badges/jellyfin.status.svg) ![Maintenance status](https://ci-apps.yunohost.org/ci/badges/jellyfin.maintain.svg)
[![Install Jellyfin with YunoHost](https://install-app.yunohost.org/install-with-yunohost.svg)](https://install-app.yunohost.org/?app=jellyfin) [![Install Jellyfin with YunoHost](https://install-app.yunohost.org/install-with-yunohost.svg)](https://install-app.yunohost.org/?app=jellyfin)
@ -19,7 +19,7 @@ It shall NOT be edited by hand.
Jellyfin enables you to collect, manage, and stream your media. Run the Jellyfin server on your system and gain access to the leading free-software entertainment system, bells and whistles included. Jellyfin enables you to collect, manage, and stream your media. Run the Jellyfin server on your system and gain access to the leading free-software entertainment system, bells and whistles included.
**Shipped version:** 10.8.13~ynh1 **Shipped version:** 10.8.13~ynh2
**Demo:** <https://demo.jellyfin.org/stable/web/index.html> **Demo:** <https://demo.jellyfin.org/stable/web/index.html>

4
README_es.md
View file

@ -5,7 +5,7 @@ No se debe editar a mano.
# Jellyfin para Yunohost # Jellyfin para Yunohost
[![Nivel de integración](https://dash.yunohost.org/integration/jellyfin.svg)](https://dash.yunohost.org/appci/app/jellyfin) ![Estado funcional](https://ci-apps.yunohost.org/ci/badges/jellyfin.status.svg) ![Estado En Mantención](https://ci-apps.yunohost.org/ci/badges/jellyfin.maintain.svg) [![Nivel de integración](https://dash.yunohost.org/integration/jellyfin.svg)](https://ci-apps.yunohost.org/ci/apps/jellyfin/) ![Estado funcional](https://ci-apps.yunohost.org/ci/badges/jellyfin.status.svg) ![Estado En Mantención](https://ci-apps.yunohost.org/ci/badges/jellyfin.maintain.svg)
[![Instalar Jellyfin con Yunhost](https://install-app.yunohost.org/install-with-yunohost.svg)](https://install-app.yunohost.org/?app=jellyfin) [![Instalar Jellyfin con Yunhost](https://install-app.yunohost.org/install-with-yunohost.svg)](https://install-app.yunohost.org/?app=jellyfin)
@ -19,7 +19,7 @@ No se debe editar a mano.
Jellyfin enables you to collect, manage, and stream your media. Run the Jellyfin server on your system and gain access to the leading free-software entertainment system, bells and whistles included. Jellyfin enables you to collect, manage, and stream your media. Run the Jellyfin server on your system and gain access to the leading free-software entertainment system, bells and whistles included.
**Versión actual:** 10.8.13~ynh1 **Versión actual:** 10.8.13~ynh2
**Demo:** <https://demo.jellyfin.org/stable/web/index.html> **Demo:** <https://demo.jellyfin.org/stable/web/index.html>

4
README_eu.md
View file

@ -5,7 +5,7 @@ EZ editatu eskuz.
# Jellyfin YunoHost-erako # Jellyfin YunoHost-erako
[![Integrazio maila](https://dash.yunohost.org/integration/jellyfin.svg)](https://dash.yunohost.org/appci/app/jellyfin) ![Funtzionamendu egoera](https://ci-apps.yunohost.org/ci/badges/jellyfin.status.svg) ![Mantentze egoera](https://ci-apps.yunohost.org/ci/badges/jellyfin.maintain.svg) [![Integrazio maila](https://dash.yunohost.org/integration/jellyfin.svg)](https://ci-apps.yunohost.org/ci/apps/jellyfin/) ![Funtzionamendu egoera](https://ci-apps.yunohost.org/ci/badges/jellyfin.status.svg) ![Mantentze egoera](https://ci-apps.yunohost.org/ci/badges/jellyfin.maintain.svg)
[![Instalatu Jellyfin YunoHost-ekin](https://install-app.yunohost.org/install-with-yunohost.svg)](https://install-app.yunohost.org/?app=jellyfin) [![Instalatu Jellyfin YunoHost-ekin](https://install-app.yunohost.org/install-with-yunohost.svg)](https://install-app.yunohost.org/?app=jellyfin)
@ -19,7 +19,7 @@ EZ editatu eskuz.
Jellyfin enables you to collect, manage, and stream your media. Run the Jellyfin server on your system and gain access to the leading free-software entertainment system, bells and whistles included. Jellyfin enables you to collect, manage, and stream your media. Run the Jellyfin server on your system and gain access to the leading free-software entertainment system, bells and whistles included.
**Paketatutako bertsioa:** 10.8.13~ynh1 **Paketatutako bertsioa:** 10.8.13~ynh2
**Demoa:** <https://demo.jellyfin.org/stable/web/index.html> **Demoa:** <https://demo.jellyfin.org/stable/web/index.html>

4
README_fr.md
View file

@ -5,7 +5,7 @@ Il NE doit PAS être modifié à la main.
# Jellyfin pour YunoHost # Jellyfin pour YunoHost
[![Niveau d’intégration](https://dash.yunohost.org/integration/jellyfin.svg)](https://dash.yunohost.org/appci/app/jellyfin) ![Statut du fonctionnement](https://ci-apps.yunohost.org/ci/badges/jellyfin.status.svg) ![Statut de maintenance](https://ci-apps.yunohost.org/ci/badges/jellyfin.maintain.svg) [![Niveau d’intégration](https://dash.yunohost.org/integration/jellyfin.svg)](https://ci-apps.yunohost.org/ci/apps/jellyfin/) ![Statut du fonctionnement](https://ci-apps.yunohost.org/ci/badges/jellyfin.status.svg) ![Statut de maintenance](https://ci-apps.yunohost.org/ci/badges/jellyfin.maintain.svg)
[![Installer Jellyfin avec YunoHost](https://install-app.yunohost.org/install-with-yunohost.svg)](https://install-app.yunohost.org/?app=jellyfin) [![Installer Jellyfin avec YunoHost](https://install-app.yunohost.org/install-with-yunohost.svg)](https://install-app.yunohost.org/?app=jellyfin)
@ -19,7 +19,7 @@ Il NE doit PAS être modifié à la main.
Jellyfin vous permet de collecter, gérer et diffuser vos médias. Exécutez le serveur Jellyfin sur votre système et accédez au principal système de divertissement à logiciel libre. Jellyfin vous permet de collecter, gérer et diffuser vos médias. Exécutez le serveur Jellyfin sur votre système et accédez au principal système de divertissement à logiciel libre.
**Version incluse :** 10.8.13~ynh1 **Version incluse :** 10.8.13~ynh2
**Démo :** <https://demo.jellyfin.org/stable/web/index.html> **Démo :** <https://demo.jellyfin.org/stable/web/index.html>

4
README_gl.md
View file

@ -5,7 +5,7 @@ NON debe editarse manualmente.
# Jellyfin para YunoHost # Jellyfin para YunoHost
[![Nivel de integración](https://dash.yunohost.org/integration/jellyfin.svg)](https://dash.yunohost.org/appci/app/jellyfin) ![Estado de funcionamento](https://ci-apps.yunohost.org/ci/badges/jellyfin.status.svg) ![Estado de mantemento](https://ci-apps.yunohost.org/ci/badges/jellyfin.maintain.svg) [![Nivel de integración](https://dash.yunohost.org/integration/jellyfin.svg)](https://ci-apps.yunohost.org/ci/apps/jellyfin/) ![Estado de funcionamento](https://ci-apps.yunohost.org/ci/badges/jellyfin.status.svg) ![Estado de mantemento](https://ci-apps.yunohost.org/ci/badges/jellyfin.maintain.svg)
[![Instalar Jellyfin con YunoHost](https://install-app.yunohost.org/install-with-yunohost.svg)](https://install-app.yunohost.org/?app=jellyfin) [![Instalar Jellyfin con YunoHost](https://install-app.yunohost.org/install-with-yunohost.svg)](https://install-app.yunohost.org/?app=jellyfin)
@ -19,7 +19,7 @@ NON debe editarse manualmente.
Jellyfin enables you to collect, manage, and stream your media. Run the Jellyfin server on your system and gain access to the leading free-software entertainment system, bells and whistles included. Jellyfin enables you to collect, manage, and stream your media. Run the Jellyfin server on your system and gain access to the leading free-software entertainment system, bells and whistles included.
**Versión proporcionada:** 10.8.13~ynh1 **Versión proporcionada:** 10.8.13~ynh2
**Demo:** <https://demo.jellyfin.org/stable/web/index.html> **Demo:** <https://demo.jellyfin.org/stable/web/index.html>

4
README_zh_Hans.md
View file

@ -5,7 +5,7 @@
# YunoHost 上的 Jellyfin # YunoHost 上的 Jellyfin
[![集成程度](https://dash.yunohost.org/integration/jellyfin.svg)](https://dash.yunohost.org/appci/app/jellyfin) ![工作状态](https://ci-apps.yunohost.org/ci/badges/jellyfin.status.svg) ![维护状态](https://ci-apps.yunohost.org/ci/badges/jellyfin.maintain.svg) [![集成程度](https://dash.yunohost.org/integration/jellyfin.svg)](https://ci-apps.yunohost.org/ci/apps/jellyfin/) ![工作状态](https://ci-apps.yunohost.org/ci/badges/jellyfin.status.svg) ![维护状态](https://ci-apps.yunohost.org/ci/badges/jellyfin.maintain.svg)
[![使用 YunoHost 安装 Jellyfin](https://install-app.yunohost.org/install-with-yunohost.svg)](https://install-app.yunohost.org/?app=jellyfin) [![使用 YunoHost 安装 Jellyfin](https://install-app.yunohost.org/install-with-yunohost.svg)](https://install-app.yunohost.org/?app=jellyfin)
@ -19,7 +19,7 @@
Jellyfin enables you to collect, manage, and stream your media. Run the Jellyfin server on your system and gain access to the leading free-software entertainment system, bells and whistles included. Jellyfin enables you to collect, manage, and stream your media. Run the Jellyfin server on your system and gain access to the leading free-software entertainment system, bells and whistles included.
**分发版本：** 10.8.13~ynh1 **分发版本：** 10.8.13~ynh2
**演示：** <https://demo.jellyfin.org/stable/web/index.html> **演示：** <https://demo.jellyfin.org/stable/web/index.html>

30
manifest.toml
View file

@ -7,7 +7,7 @@ name = "Jellyfin"
description.en = "Media System that manage and stream your media" description.en = "Media System that manage and stream your media"
description.fr = "Système multimédia qui gère et diffuse vos médias" description.fr = "Système multimédia qui gère et diffuse vos médias"
version = "10.8.13~ynh1" version = "10.8.13~ynh2"
maintainers = ["tituspijean"] maintainers = ["tituspijean"]
@ -58,13 +58,13 @@ ram.runtime = "100M"
[resources] [resources]
[resources.sources] [resources.sources]
[resources.sources.server] [resources.sources.server]
armhf.url = "https://repo.jellyfin.org/releases/server/debian/versions/stable/server/10.8.13/jellyfin-server_10.8.13-1_armhf.deb" armhf.url = "https://repo.jellyfin.org/files/server/debian/stable/10.8.13/armhf/jellyfin-server_10.8.13-1_armhf.deb"
armhf.sha256 = "ee4588aeeb55282b044d3bb4efef146a43abd742d3ef9327e042b2959008dc60" armhf.sha256 = "ee4588aeeb55282b044d3bb4efef146a43abd742d3ef9327e042b2959008dc60"
arm64.url = "https://repo.jellyfin.org/releases/server/debian/versions/stable/server/10.8.13/jellyfin-server_10.8.13-1_arm64.deb" arm64.url = "https://repo.jellyfin.org/files/server/debian/stable/10.8.13/arm64/jellyfin-server_10.8.13-1_arm64.deb"
arm64.sha256 = "b9b917ec6ed4ddd3c728cb7be84245ff625c0a7ae12653a921cb3a9f6149252d" arm64.sha256 = "b9b917ec6ed4ddd3c728cb7be84245ff625c0a7ae12653a921cb3a9f6149252d"
amd64.url = "https://repo.jellyfin.org/releases/server/debian/versions/stable/server/10.8.13/jellyfin-server_10.8.13-1_amd64.deb" amd64.url = "https://repo.jellyfin.org/files/server/debian/stable/10.8.13/amd64/jellyfin-server_10.8.13-1_amd64.deb"
amd64.sha256 = "d54decc098d5e61be50847edba8722d6468e22134bae2df514859e064eb8d727" amd64.sha256 = "d54decc098d5e61be50847edba8722d6468e22134bae2df514859e064eb8d727"
rename = "jellyfin-server.deb" rename = "jellyfin-server.deb"
@ -72,7 +72,7 @@ ram.runtime = "100M"
extract = false extract = false
[resources.sources.web] [resources.sources.web]
url = "https://repo.jellyfin.org/releases/server/debian/versions/stable/web/10.8.13/jellyfin-web_10.8.13-1_all.deb" url = "https://repo.jellyfin.org/files/server/debian/stable/10.8.13/amd64/jellyfin-web_10.8.13-1_all.deb"
sha256 = "8a30e2239f97d1d749f6059db0ff1e4189f44babfb9b0cf236102b7c95b0babe" sha256 = "8a30e2239f97d1d749f6059db0ff1e4189f44babfb9b0cf236102b7c95b0babe"
rename = "jellyfin-web.deb" rename = "jellyfin-web.deb"
@ -81,13 +81,13 @@ ram.runtime = "100M"
[resources.sources.ffmpeg_bookworm] [resources.sources.ffmpeg_bookworm]
armhf.url = "https://repo.jellyfin.org/releases/server/debian/versions/jellyfin-ffmpeg/6.0.1-3/jellyfin-ffmpeg6_6.0.1-3-bookworm_armhf.deb" armhf.url = "https://repo.jellyfin.org/files/ffmpeg/debian/6.x/6.0.1-3/armhf/jellyfin-ffmpeg6_6.0.1-3-bookworm_armhf.deb"
armhf.sha256 = "bdb28e67fa4dc8e321366c4a19e18bcc6166a60d6aa5a4bf2da1263489b4f25f" armhf.sha256 = "bdb28e67fa4dc8e321366c4a19e18bcc6166a60d6aa5a4bf2da1263489b4f25f"
arm64.url = "https://repo.jellyfin.org/releases/server/debian/versions/jellyfin-ffmpeg/6.0.1-3/jellyfin-ffmpeg6_6.0.1-3-bookworm_arm64.deb" arm64.url = "https://repo.jellyfin.org/files/ffmpeg/debian/6.x/6.0.1-3/arm64/jellyfin-ffmpeg6_6.0.1-3-bookworm_arm64.deb"
arm64.sha256 = "aabf62104399f242ddb7b8c2e308976f6b233ceac5ffccbabd340a28e428ca3c" arm64.sha256 = "aabf62104399f242ddb7b8c2e308976f6b233ceac5ffccbabd340a28e428ca3c"
amd64.url = "https://repo.jellyfin.org/releases/server/debian/versions/jellyfin-ffmpeg/6.0.1-3/jellyfin-ffmpeg6_6.0.1-3-bookworm_amd64.deb" amd64.url = "https://repo.jellyfin.org/files/ffmpeg/debian/6.x/6.0.1-3/amd64/jellyfin-ffmpeg6_6.0.1-3-bookworm_amd64.deb"
amd64.sha256 = "cb40c04e026d83b9265535e214f883d4a26824b5703304064fd38fffa70ac449" amd64.sha256 = "cb40c04e026d83b9265535e214f883d4a26824b5703304064fd38fffa70ac449"
rename = "jellyfin-ffmpeg6.deb" rename = "jellyfin-ffmpeg6.deb"
@ -96,13 +96,13 @@ ram.runtime = "100M"
[resources.sources.ffmpeg_bullseye] [resources.sources.ffmpeg_bullseye]
armhf.url = "https://repo.jellyfin.org/releases/server/debian/versions/jellyfin-ffmpeg/6.0.1-3/jellyfin-ffmpeg6_6.0.1-3-bullseye_armhf.deb" armhf.url = "https://repo.jellyfin.org/files/ffmpeg/debian/6.x/6.0.1-3/armhf/jellyfin-ffmpeg6_6.0.1-3-bullseye_armhf.deb"
armhf.sha256 = "700bab9e8c96594f83d731019cdbc20fbab303c1d8440288e463e372cd16ed7a" armhf.sha256 = "700bab9e8c96594f83d731019cdbc20fbab303c1d8440288e463e372cd16ed7a"
arm64.url = "https://repo.jellyfin.org/releases/server/debian/versions/jellyfin-ffmpeg/6.0.1-3/jellyfin-ffmpeg6_6.0.1-3-bullseye_arm64.deb" arm64.url = "https://repo.jellyfin.org/files/ffmpeg/debian/6.x/6.0.1-3/arm64/jellyfin-ffmpeg6_6.0.1-3-bullseye_arm64.deb"
arm64.sha256 = "56ef93f285e922417cda98b109021be614a5307d9d7c18aff22fa0c439ab77b5" arm64.sha256 = "56ef93f285e922417cda98b109021be614a5307d9d7c18aff22fa0c439ab77b5"
amd64.url = "https://repo.jellyfin.org/releases/server/debian/versions/jellyfin-ffmpeg/6.0.1-3/jellyfin-ffmpeg6_6.0.1-3-bullseye_amd64.deb" amd64.url = "https://repo.jellyfin.org/files/ffmpeg/debian/6.x/6.0.1-3/amd64/jellyfin-ffmpeg6_6.0.1-3-bullseye_amd64.deb"
amd64.sha256 = "50b0cbd2cd0ab64fd6803d2bdfd15946ec6f80c0b492f81ad85e921ffafdcf7e" amd64.sha256 = "50b0cbd2cd0ab64fd6803d2bdfd15946ec6f80c0b492f81ad85e921ffafdcf7e"
rename = "jellyfin-ffmpeg6.deb" rename = "jellyfin-ffmpeg6.deb"
@ -111,13 +111,13 @@ ram.runtime = "100M"
[resources.sources.ffmpeg_buster] [resources.sources.ffmpeg_buster]
armhf.url = "https://repo.jellyfin.org/releases/server/debian/versions/jellyfin-ffmpeg/6.0.1-3/jellyfin-ffmpeg6_6.0.1-3-buster_armhf.deb" armhf.url = "https://repo.jellyfin.org/files/ffmpeg/debian/6.x/6.0.1-3/armhf/jellyfin-ffmpeg6_6.0.1-3-buster_armhf.deb"
armhf.sha256 = "6f3beae72aec030aae96dc044bfcf736f12fc135cc574cde8085609e47374a43" armhf.sha256 = "6f3beae72aec030aae96dc044bfcf736f12fc135cc574cde8085609e47374a43"
arm64.url = "https://repo.jellyfin.org/releases/server/debian/versions/jellyfin-ffmpeg/6.0.1-3/jellyfin-ffmpeg6_6.0.1-3-buster_arm64.deb" arm64.url = "https://repo.jellyfin.org/files/ffmpeg/debian/6.x/6.0.1-3/arm64/jellyfin-ffmpeg6_6.0.1-3-buster_arm64.deb"
arm64.sha256 = "109ea41f17e314e3e9b32689844841ddd54a600419ff89e0e979e195a25b91c5" arm64.sha256 = "109ea41f17e314e3e9b32689844841ddd54a600419ff89e0e979e195a25b91c5"
amd64.url = "https://repo.jellyfin.org/releases/server/debian/versions/jellyfin-ffmpeg/6.0.1-3/jellyfin-ffmpeg6_6.0.1-3-buster_amd64.deb" amd64.url = "https://repo.jellyfin.org/files/ffmpeg/debian/6.x/6.0.1-3/amd64/jellyfin-ffmpeg6_6.0.1-3-buster_amd64.deb"
amd64.sha256 = "a1c55b7f439f2b9a487ea90341a280467f1973fcd12607f08bcd16cf22ce307a" amd64.sha256 = "a1c55b7f439f2b9a487ea90341a280467f1973fcd12607f08bcd16cf22ce307a"
rename = "jellyfin-ffmpeg6.deb" rename = "jellyfin-ffmpeg6.deb"
@ -126,7 +126,7 @@ ram.runtime = "100M"
[resources.sources.plugin_ldap] [resources.sources.plugin_ldap]
url = "https://repo.jellyfin.org/releases/plugin/ldap-authentication/ldap-authentication_17.0.0.0.zip" url = "https://repo.jellyfin.org/files/plugin/ldap-authentication/ldap-authentication_17.0.0.0.zip"
sha256 = "042bdd16950c7569c154311cc64af49c7d6096e9b0a7184287707d5ee317ecf5" sha256 = "042bdd16950c7569c154311cc64af49c7d6096e9b0a7184287707d5ee317ecf5"
in_subdir = false in_subdir = false

19
scripts/update_version.py
View file

@ -4,11 +4,11 @@ from typing import Any
from pathlib import Path from pathlib import Path
import tomlkit import tomlkit
import requests import requests
import hashlib
REPO_ROOT = Path(__file__).parent.parent REPO_ROOT = Path(__file__).parent.parent
JELLYFIN_REPO = "https://repo.jellyfin.org" JELLYFIN_REPO = "https://repo.jellyfin.org/files"
JELLYFIN_DEB_REPO = f"{JELLYFIN_REPO}/releases/server/debian"
ARCHS = [ ARCHS = [
"armhf", "armhf",
@ -31,29 +31,28 @@ def version_from__common_sh(name: str) -> str:
def server_url(arch: str, version: str) -> str: def server_url(arch: str, version: str) -> str:
version_simple = version.split("-")[0] version_simple = version.split("-")[0]
return f"{JELLYFIN_DEB_REPO}/versions/stable/server/{version_simple}/jellyfin-server_{version}_{arch}.deb" return f"{JELLYFIN_REPO}/server/debian/stable/{version_simple}/{arch}/jellyfin-server_{version}_{arch}.deb"
def web_url(arch: str, version: str) -> str: def web_url(arch: str, version: str) -> str:
version_simple = version.split("-")[0] version_simple = version.split("-")[0]
return f"{JELLYFIN_DEB_REPO}/versions/stable/web/{version_simple}/jellyfin-web_{version}_all.deb" return f"{JELLYFIN_REPO}/server/debian/stable/{version_simple}/amd64/jellyfin-web_{version}_all.deb"
def ffmpeg_url(arch: str, deb: str, version: str) -> str: def ffmpeg_url(arch: str, deb: str, version: str) -> str:
major = version.split(".")[0] major = version.split(".")[0]
return f"{JELLYFIN_DEB_REPO}/versions/jellyfin-ffmpeg/{version}/jellyfin-ffmpeg{major}_{version}-{deb}_{arch}.deb" return f"{JELLYFIN_REPO}/ffmpeg/debian/6.x/{version}/{arch}/jellyfin-ffmpeg{major}_{version}-{deb}_{arch}.deb"
def ldap_url(arch: str, version: str) -> str: def ldap_url(arch: str, version: str) -> str:
major = version.split(".")[0] major = version.split(".")[0]
return f"{JELLYFIN_REPO}/releases/plugin/ldap-authentication/ldap-authentication_{version}.zip" return f"{JELLYFIN_REPO}/plugin/ldap-authentication/ldap-authentication_{version}.zip"
def sha256sum_of(url: str) -> str: def sha256sum_of(url: str) -> str:
result = requests.get(f"{url}.sha256sum", timeout=10) result = requests.get(f"{url}", timeout=10)
content = result.content.decode("utf-8") sha256sum = hashlib.sha256(result.content)
return content.split(" ")[0] return sha256sum.hexdigest()
def main() -> None: def main() -> None: