add Gitea CI

.gitea/workflows/lint.yml

@@ -0,0 +1,23 @@
+name: lint
+run-name: lint is launched by ${{ github.actor }}
+on: [push]
+jobs:
+  check:
+    runs-on: ubuntu-latest
+    name: lint
+    steps:
+      - run: echo "🎉 The job was automatically triggered by a ${{ github.event_name }} event."
+      - run: echo "🐧 This job is now running on a ${{ runner.os }} server hosted by Gitea!"
+      - run: echo "🔎 The name of your branch is ${{ github.ref }} and your repository is ${{ github.repository }}."
+      - name: Check out repository code
+        uses: actions/checkout@v4
+      - name: Create Python virtualenv
+        run: |
+          mkdir -p .cache
+          python -m venv .
+          source bin/activate
+          XDG_CACHE_HOME=.cache pip install pylint-venv pylint
+      - name: Lint
+        run: XDG_CACHE_HOME=.cache ./bin/pylint -d E0401 blog/*.py
+      - run: echo "🍏 This job's status is ${{ job.status }}."
+

blog/index.gen.py

@@ -1,27 +1,26 @@
 #!/usr/bin/env python
 
-''' fetch (almost) all blog posts from Dotclear database and export them in Markdown format '''
-''' TODO: use rss/atom feed instead '''
-''' TODO: convert to proper Gemtext '''
+'''fetch (almost) all blog posts from Dotclear database and export them in Markdown format
+TODO: use rss/atom feed instead
+TODO: convert to proper Gemtext'''
 
+import os
+import re
+from urllib.parse import quote
 import html2markdown
 import mysql.connector
-import re
-import os
-from urllib.parse import quote
 
-path_regex = re.compile('\d+/\d+/\d+')
-date_regex = re.compile('\d+-\d+-\d+')
-filename_regex = re.compile('\d+/\d+/\d+/(.*)')
+path_regex = re.compile('\\d+/\\d+/\\d+')
+date_regex = re.compile('\\d+-\\d+-\\d+')
+filename_regex = re.compile('\\d+/\\d+/\\d+/(.*)')
 
 db_password_regex = re.compile("'DC_DBPASSWORD','(.*)'")
 db_host_regex = re.compile("'DC_DBHOST','(.*)'")
 db_name_regex = re.compile("'DC_DBNAME','(.*)'")
 db_user_regex = re.compile("'DC_DBUSER','(.*)'")
 
-f = open("/home/www/dotclear/inc/config.php", "r")
-c = f.read()
-f.close()
+with open("/home/www/dotclear/inc/config.php", "r", encoding="utf-8") as f:
+    c = f.read()
 
 mydb = mysql.connector.connect(
     host=db_host_regex.findall(c)[0],
@@ -30,37 +29,35 @@ mydb = mysql.connector.connect(
     database=db_name_regex.findall(c)[0]
 )
 mycursor = mydb.cursor()
-mycursor.execute("SELECT post_url, post_title, post_content_xhtml FROM dc_post WHERE post_url LIKE '%/%/%/%' ORDER BY post_id DESC")
+mycursor.execute("SELECT post_url, post_title, post_content_xhtml \
+                 FROM dc_post WHERE post_url LIKE '%/%/%/%' ORDER BY post_id DESC")
 myresult = mycursor.fetchall()
 mydb.close()
 
-f = open("index.gmi", "w")
-f.write("# Tourmentine's blog-to-gemlog\n\n");
-f.close()
+with open("index.gmi", "w", encoding="utf-8") as f:
+    f.write("# Tourmentine's blog-to-gemlog\n\n")
 
 for x in myresult:
     path = path_regex.findall(x[0])[0]
-    filename = filename_regex.findall(x[0])[0]
+    path_with_dashes = path.replace("/","-")
+    filename = quote(quote(filename_regex.findall(x[0])[0]))
 
-    f = open("index.gmi", "a")
-    f.write("=> %s/%s.gmi %s - %s\n" % (path, quote(quote(filename)), path.replace("/","-"), x[1]))
-    f.close()
+    with open("index.gmi", "a", encoding="utf-8") as f:
+        f.write(f'=> {path}/{filename}.gmi {path_with_dashes} - {x[1]}\n')
 
     try:
         if not os.path.exists(path):
             os.makedirs(path)
     except OSError:
-        print ("Creation of the directory %s failed" % path)
+        print (f"Creation of the directory {path} failed")
 
-    if not os.path.isfile('%s/%s.gmi' % (path,quote(filename))):
-       print("creating %s/%s.gmi" % (path,quote(filename)))
-       f = open("%s/%s.gmi" % (path,quote(filename)), "w")
-       f.write("# %s\n\n" % x[1])
-       f.write("Publié le %s\n\n" % path)
-       f.write(html2markdown.convert(x[2]))
-       f.write("\n\n=> /blog/ Retour au menu du blog")
-       f.close()
+    if not os.path.isfile(f'{path}/"{filename}".gmi'):
+        print(f"creating {path}/\"{filename}\".gmi")
+        with open(f'{path}/"{filename}".gmi', "w", encoding="utf-8") as f:
+            f.write(f"# {x[1]}\n\n")
+            f.write(f"Publié le {path}\n\n")
+            f.write(html2markdown.convert(x[2]))
+            f.write("\n\n=> /blog/ Retour au menu du blog")
 
-f = open("index.gmi", "a")
-f.write("\n=> Retour")
-f.close()
+with open("index.gmi", "a", encoding="utf-8") as f:
+    f.write("\n=> Retour")