From c4f2665b982f66268895c53057c4d8117804348f Mon Sep 17 00:00:00 2001 From: Markus Zolliker Date: Thu, 8 May 2025 14:25:39 +0200 Subject: [PATCH] add frappy to the repos to update to gitea --- gitea.py | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/gitea.py b/gitea.py index c90f542..6848091 100644 --- a/gitea.py +++ b/gitea.py @@ -3,7 +3,7 @@ import os from pathlib import Path from configparser import ConfigParser -GITEA_REPOS = ['boxtools'] +GITEA_REPOS = ['boxtools', 'frappy'] GITEA_URL = 'https://gitea.psi.ch/linse/%s.git' GET_GITEA_TOKEN = """#!/bin/bash @@ -46,6 +46,7 @@ else fi """ + def write_when_new(doit, filename, content, executable=False): newmode = 0o755 if executable else 0o644 if content is None: @@ -122,4 +123,4 @@ if __name__ == '__main__': change_to_gitea(True) else: change_to_gitea(False) - print(f'\nUsage: pyhton gitea.py y # to update repos {" ".join(GITEA_REPOS)}\n') + print(f'\nUsage: python gitea.py y # to update repos {" ".join(GITEA_REPOS)}\n')