Version 2.8.49: das Verzeichnis sagt, wen es nennt

apps/tesm/pyproject.toml

@@ -4,7 +4,7 @@ build-backend = "setuptools.build_meta"
 
 [project]
 name = "tesm"
-version = "2.8.46"
+version = "2.8.49"
 description = "TESM -- Verwaltung und Ueberwachung von PoE-Endgeraeten und Aruba-Switchen"
 requires-python = ">=3.11"
 dependencies = [

apps/tesm/src/tesm/blueprints/dhcp.py

@@ -81,15 +81,65 @@ def overview():
         for zeile in Database.all(conn, "SELECT mac FROM devices WHERE deleted_at IS NULL")
     }
 
+    options = Database.all(
+        conn,
+        "SELECT o.*, v.value, v.id AS value_id FROM dhcp_options o "
+        "LEFT JOIN dhcp_option_values v ON v.option_id = o.id AND v.device_id IS NULL "
+        "ORDER BY o.code",
+    )
+    # Ein Wert an einem einzelnen Geraet ist ein gesendeter Wert. Die Uebersicht
+    # zaehlte nur die globalen -- und meldete "Nichts gesetzt", waehrend die
+    # Vorschau daneben die Option in der Reservierung auswies.
+    je_geraet: dict[int, list[dict[str, Any]]] = {}
+    for zeile in Database.all(
+        conn,
+        "SELECT o.code, d.name AS geraet, v.value FROM dhcp_option_values v "
+        "JOIN dhcp_options o ON o.id = v.option_id "
+        "JOIN devices d ON d.id = v.device_id "
+        "WHERE v.device_id IS NOT NULL AND d.deleted_at IS NULL "
+        "AND TRIM(COALESCE(v.value, '')) <> '' ORDER BY o.code, d.name",
+    ):
+        je_geraet.setdefault(int(zeile["code"]), []).append(dict(zeile))
+
+    gesendet = []
+    for option in options:
+        geraete = je_geraet.get(int(option["code"]), [])
+        if str(option["value"] or "").strip() or geraete:
+            eintrag = dict(option)
+            eintrag["geraete"] = geraete
+            gesendet.append(eintrag)
+
+    # Der Server belegt einen Code selbst. Ihn aus dem Katalog herauszuhalten
+    # hiess: er steht in der erzeugten Datei, aber nirgends auf der Seite --
+    # und wer 224 vergeben will, erfaehrt es erst hinterher.
+    eigenes_verzeichnis = kea.verzeichnis(conn)
+    katalog = list(options)
+    if not any(int(zeile["code"]) == kea.KATALOG_CODE for zeile in katalog):
+        katalog.append(
+            {
+                "id": None,
+                "code": kea.KATALOG_CODE,
+                "name": kea.KATALOG_NAME,
+                "type": "string",
+                # Die Regel gehoert dorthin, wo man sie sucht: das Verzeichnis
+                # nennt die Optionen, die **gesendet** werden. Eine angelegte
+                # Option ohne Wert steht nicht darin -- sie geht ja auch nicht
+                # hinaus, und ein Client braucht ihren Namen nicht.
+                "description": "Vom Server belegt | nennt den Clients Name und Typ der "
+                "Optionen, die gerade gesendet werden",
+                "value": eigenes_verzeichnis,
+                "is_standard": 1,
+                "reserviert": True,
+            }
+        )
+        katalog.sort(key=lambda zeile: int(zeile["code"]))
+
     return render_template(
         "tesm/dhcp.html",
         subnets=Database.all(conn, "SELECT * FROM dhcp_subnets ORDER BY sort_order, id"),
-        options=Database.all(
+        options=options,
-            conn,
+        katalog=katalog,
-            "SELECT o.*, v.value, v.id AS value_id FROM dhcp_options o "
+        gesendet=gesendet,
-            "LEFT JOIN dhcp_option_values v ON v.option_id = o.id AND v.device_id IS NULL "
-            "ORDER BY o.code",
-        ),
         option_types=kea.OPTION_TYPES,
         device_option_values=_device_option_values(conn),
         reservations=reservations,
@@ -375,6 +425,17 @@ def add_custom_option():
     if not 1 <= code <= 254:
         flash("Der Optionscode muss zwischen 1 und 254 liegen.", "danger")
         return redirect(url_for("dhcp.overview"))
+    if code == kea.KATALOG_CODE:
+        # Hier abweisen statt spaeter stillschweigend das Verzeichnis
+        # wegzulassen: sonst funktionierte die Benennung auf den Clients
+        # nicht mehr, und niemand wuesste warum.
+        flash(
+            f"Code {kea.KATALOG_CODE} ist belegt: darunter sendet der Server seinen Clients "
+            "die Namen und Typen der eigenen Optionen. Ohne dieses Verzeichnis heißt eine "
+            "neue Option auf dem Client nur noch nach ihrer Nummer.",
+            "danger",
+        )
+        return redirect(url_for("dhcp.overview"))
     if not name or option_type not in kea.OPTION_TYPES:
         flash("Name und Typ sind erforderlich.", "danger")
         return redirect(url_for("dhcp.overview"))
@@ -389,6 +450,16 @@ def add_custom_option():
         )
     _audit("dhcp.option_created", name, severity="notice")
     flash("Eigene Option angelegt.", "success")
+    if code not in kea.PRIVATBEREICH:
+        # Kein Fehler -- andere Clients nehmen auch andere Codes. Aber ein
+        # Linux-Client mit systemd-networkd hebt eine unbekannte Option nur
+        # dann auf, wenn ihr Code im vorgesehenen Bereich liegt. Wer das
+        # nicht weiss, sucht den Fehler danach beim Server.
+        flash(
+            f"Code {code} liegt außerhalb von 224–254. Clients mit systemd-networkd "
+            "verwerfen Optionen außerhalb dieses Bereichs, auch wenn sie sie anfordern.",
+            "warning",
+        )
     return redirect(url_for("dhcp.overview"))
 
 

apps/tesm/src/tesm/services/kea.py

@@ -545,6 +545,23 @@ def render_config(
         if not int(row["is_standard"] or 0)
     ]
 
+    # Das Verzeichnis: Code, Name und Typ der eigenen Optionen, die dieser
+    # Server tatsaechlich sendet. Es wird nicht gespeichert, sondern aus dem
+    # Katalog abgeleitet -- gespeichert waere es eine zweite Wahrheit.
+    belegte_codes = {int(row["code"]) for row in option_rows}
+    eintrag = verzeichnis(conn)
+    if eintrag and KATALOG_CODE not in belegte_codes:
+        custom_defs.append(
+            {"name": KATALOG_NAME, "code": KATALOG_CODE, "type": "string", "space": "dhcp4"}
+        )
+        global_option_data.append({"name": KATALOG_NAME, "data": eintrag})
+    elif eintrag:
+        warnings.append(
+            f"Code {KATALOG_CODE} ist von einer eigenen Option belegt | das Verzeichnis für "
+            "die Clients wird nicht mitgesendet. Neue Optionen sind dort dann nur unter "
+            "ihrer Nummer zu sehen, bis die Konfiguration erneut verteilt wird."
+        )
+
     config = {
         "Dhcp4": {
             "interfaces-config": {"interfaces": sorted(interfaces)},
@@ -729,6 +746,26 @@ def read_leases(sysops: SysOps, *, path: str = LEASE_FILE) -> list[Lease]:
     return sorted(latest.values(), key=lambda entry: tuple(int(p) for p in entry.address.split(".") if p.isdigit()))
 
 
+#: Der Bereich, den DHCP fuer eigene Optionen vorsieht (RFC 2132: "site
+#: specific"). **Nur** hier hinein gehoeren eigene Codes, und zwar nicht aus
+#: Ordnungsliebe: systemd-networkd hebt eine unbekannte Option ausschliesslich
+#: dann auf, wenn ihr Code in diesem Bereich liegt. Alles darunter wirft es
+#: weg, ohne dass irgendwo etwas danebengeht.
+PRIVATBEREICH = range(224, 255)
+
+#: Code und Name des Verzeichnisses, das der Server ueber sich selbst mitsendet.
+#:
+#: **Warum es das gibt.** Auf der Leitung reisen nur Code, Laenge und Bytes --
+#: kein Name, kein Typ. Ein Client kann darum nicht wissen, dass 225 "url"
+#: heisst und Text enthaelt. Bisher bekam er die Zuordnung beim Verteilen
+#: mit; kam spaeter eine Option dazu, musste man erneut verteilen. Also sendet
+#: der Server sein Verzeichnis einfach mit: "225:url:string 226:monitor:...".
+#: Der Uebersetzer auf dem Client liest es bei jeder Lease neu -- eine neue
+#: Option ist damit sofort unter ihrem Namen lesbar, ohne den Client
+#: anzufassen.
+KATALOG_CODE = 224
+KATALOG_NAME = "tesm-katalog"
+
 #: Optionen, die jeder DHCP-Client von sich aus erfragt. Sie in die
 #: Client-Konfiguration zu schreiben waere Ballast -- und wer Ballast liest,
 #: liest irgendwann gar nicht mehr.
@@ -838,22 +875,71 @@ cat /run/tesm-dhcp-options.env 2>/dev/null || true
 #: Bytes. Dass 225 "url" heisst und eine Zeichenkette ist, steht allein im
 #: Katalog dieses Servers -- systemd kann es nicht wissen und legt deshalb
 #: Hex unter der Nummer ab. Diese Zuordnung reist mit.
-UEBERSETZER = """#!/bin/sh
+UEBERSETZER = r"""#!/bin/sh
 # Von TESM erzeugt. Schreibt die eigenen DHCP-Optionen im Klartext nach
 # /run/tesm-dhcp-options.env -- eine Zeile "name=wert" je Option.
+#
+# Uebersetzt wird **alles**, was in der Lease steht, nicht eine feste Liste:
+# Namen und Typen kommen aus dem Verzeichnis, das der Server als Option
+# @KATALOG@ mitsendet. Eine neue Option ist damit sofort unter ihrem Namen
+# lesbar, ohne dass hier etwas geaendert werden muesste. Fehlt das
+# Verzeichnis, gilt die Zuordnung vom Tag des Verteilens; fehlt auch die,
+# heisst die Option nach ihrer Nummer.
 set -e
 ziel=/run/tesm-dhcp-options.env
+ersatz="@PAARE@"
+
 schnittstelle=$(ip -o -4 route show default 2>/dev/null | awk '{print $5; exit}')
 [ -n "$schnittstelle" ] || exit 0
 lease=/run/systemd/netif/leases/$(cat /sys/class/net/"$schnittstelle"/ifindex 2>/dev/null)
 [ -f "$lease" ] || exit 0
+
+text() { /usr/bin/printf "$(echo "$1" | sed 's/../@BS@x&/g')"; }
+
+entziffere() {
+  # $1 = Hexfolge, $2 = Typ. Ohne den Typ waere jede Adresse Buchstabensalat:
+  # eine IPv4-Adresse reist als vier rohe Bytes, nicht als "192.168.0.1".
+  case "$2" in
+    ipv4-address)
+      set -- $(echo "$1" | sed 's/../& /g')
+      [ $# -ge 4 ] || return 0
+      printf '%d.%d.%d.%d' "0x$1" "0x$2" "0x$3" "0x$4"
+      ;;
+    uint8|uint16|uint32)
+      printf '%d' "0x$1"
+      ;;
+    boolean)
+      case "$1" in 00) printf 'nein' ;; *) printf 'ja' ;; esac
+      ;;
+    *)
+      text "$1"
+      ;;
+  esac
+}
+
+nachschlagen() {
+  # Erst im mitgesendeten Verzeichnis, dann in der Zuordnung vom Verteilen.
+  for eintrag in $verzeichnis $ersatz; do
+    case "$eintrag" in
+      "$1":*)
+        rest=${eintrag#*:}
+        echo "${rest%%:*} ${rest#*:}"
+        return 0
+        ;;
+    esac
+  done
+  echo "option_$1 string"
+}
+
+verzeichnis=$(text "$(sed -n 's/^OPTION_@KATALOG@=//p' "$lease" | head -n1)")
+
 zwischen=$(mktemp)
-for paar in @PAARE@; do
+sed -n 's/^OPTION_\([0-9]*\)=\(.*\)$/\1 \2/p' "$lease" | while read -r code hex; do
-  code=${paar%%:*}
+  [ "$code" = "@KATALOG@" ] && continue
-  name=${paar#*:}
+  angabe=$(nachschlagen "$code")
-  roh=$(sed -n "s/^OPTION_$code=//p" "$lease" | head -n1)
+  name=${angabe%% *}
-  [ -n "$roh" ] || continue
+  typ=${angabe#* }
-  wert=$(/usr/bin/printf "$(echo "$roh" | sed 's/../@BS@x&/g')")
+  wert=$(entziffere "$hex" "$typ")
   echo "$name=$wert" >> "$zwischen"
 done
 mv -f "$zwischen" "$ziel"
@@ -900,6 +986,20 @@ echo "ergaenzt: $ziel"
 """
 
 
+def verzeichnis(conn: sqlite3.Connection) -> str:
+    """Das Verzeichnis, das der Server seinen Clients mitsendet.
+
+    Eine Quelle fuer beides -- die Konfiguration und die Anzeige. Zweimal
+    berechnet waeren es zwei Wahrheiten, und die Seite wuerde irgendwann etwas
+    anderes zeigen als der Server sendet.
+    """
+    return " ".join(
+        f"{int(zeile['code'])}:{zeile['name']}:{zeile['type']}"
+        for zeile in gesendete_optionen(conn)
+        if not int(zeile["is_standard"] or 0)
+    )
+
+
 def client_konfiguration(conn: sqlite3.Connection, stil: str) -> dict[str, Any]:
     """Was ein Linux-Client braucht, damit die Optionen bei ihm ankommen.
 
@@ -935,10 +1035,19 @@ def client_konfiguration(conn: sqlite3.Connection, stil: str) -> dict[str, Any]:
             "#",
             "# Die Werte stehen danach in /run/systemd/netif/leases/<ifindex>",
             "# als OPTION_<code>= -- hexkodiert, weil systemd fremde Optionen nicht",
-            "# deutet.",
+            "# deutet. Den Klartext schreibt der mitgelieferte Uebersetzer nach",
+            "# /run/tesm-dhcp-options.env.",
+            "#",
+            "# Angefordert wird der ganze Bereich 224-254, damit eine spaeter",
+            "# hinzugefuegte Option ohne Zutun ankommt. Eigene Optionen ausserhalb",
+            "# dieses Bereichs hebt systemd-networkd nicht auf.",
             "[DHCPv4]",
         ]
-        zeilen.append("RequestOptions=" + " ".join(str(code) for code in codes))
+        # Angefordert wird der **ganze** eigene Bereich, nicht nur das, was
+        # heute gesendet wird: sonst muesste man nach jeder neuen Option zu
+        # jedem Client. Ein Client bekommt trotzdem nur, was der Server hat.
+        angefragt = sorted(set(PRIVATBEREICH) | set(codes))
+        zeilen.append("RequestOptions=" + " ".join(str(code) for code in angefragt))
         nachher = "networkctl reload && networkctl reconfigure <Schnittstelle>"
     elif stil == "dhcpcd":
         zeilen = [
@@ -1045,8 +1154,14 @@ def _uebernahme_skript(stil: str, inhalt: str, benannt: list[dict[str, Any]] | N
     benannt = benannt or []
 
     if stil == "networkd":
-        paare = " ".join(f"{eintrag['code']}:{eintrag['name']}" for eintrag in benannt)
+        paare = " ".join(
-        uebersetzer = UEBERSETZER.replace("@PAARE@", paare).replace("@BS@", "\\\\")  # sed gibt aus zwei Zeichen eines aus
+            f"{eintrag['code']}:{eintrag['name']}:{eintrag['type']}" for eintrag in benannt
+        )
+        uebersetzer = (
+            UEBERSETZER.replace("@PAARE@", paare)
+            .replace("@KATALOG@", str(KATALOG_CODE))
+            .replace("@BS@", "\\\\")  # sed gibt aus zwei Zeichen eines aus
+        )
         return (
             NETWORKD_SKRIPT.replace("@FRACHT@", fracht)
             .replace("@UEBERSETZER@", _b64(uebersetzer))

apps/tesm/src/tesm/templates/tesm/dhcp.html

@@ -230,15 +230,18 @@
   {% endif %}
 {% endmacro %}
 
-{% set gesetzte = options | selectattr('value') | list %}
+{# "gesetzt" heisst nicht nur "global gesetzt": ein Wert an einem einzelnen
+   Geraet wird genauso gesendet. Die Liste kommt deshalb fertig vom Server --
+   in Jinja gerechnet zaehlte sie nur die globalen und meldete "Nichts
+   gesetzt", waehrend die Vorschau daneben die Option auswies. #}
 
 <section class="card">
   <div class="card__header">
     <div class="flex-1">
       <div class="card__title">{{ icon('puzzle', size=17) }} Gesendete Optionen</div>
       <div class="card__sub">
-        {% if gesetzte %}
+        {% if gesendet %}
-          <strong>{{ gesetzte | length }}</strong> von {{ options | length }} Optionen tragen
+          <strong>{{ gesendet | length }}</strong> von {{ options | length }} Optionen tragen
           einen Wert. Was leer ist, wird nicht gesendet.
         {% else %}
           Derzeit trägt keine Option einen Wert – es wird also nichts über die
@@ -248,7 +251,7 @@
     </div>
   </div>
 
-  {% if gesetzte %}
+  {% if gesendet %}
     <div class="table-wrap">
       <table class="table table--compact">
         <thead><tr>
@@ -256,7 +259,7 @@
           <th style="width:42%">Wert</th><th class="actions"></th>
         </tr></thead>
         <tbody>
-          {% for option in gesetzte %}
+          {% for option in gesendet %}
             <tr>
               <td class="numeric fs-sm">{{ option.code }}</td>
               <td class="fs-sm">
@@ -264,7 +267,19 @@
                 <div class="fs-xs faint">{{ option.description }}</div>
               </td>
               <td class="fs-xs mono">{{ option.type }}</td>
-              <td>{{ optionswert(option) }}</td>
+              <td>
+                {{ optionswert(option) }}
+                {% if option.geraete %}
+                  <div class="fs-xs faint mt-2">
+                    {% for eintrag in option.geraete %}
+                      <div>
+                        nur für <strong>{{ eintrag.geraet }}</strong>:
+                        <span class="mono">{{ eintrag.value }}</span>
+                      </div>
+                    {% endfor %}
+                  </div>
+                {% endif %}
+              </td>
               <td class="actions">{{ optionsloeschen(option) }}</td>
             </tr>
           {% endfor %}
@@ -284,7 +299,7 @@
     <div class="flex-1">
       <div class="card__title">{{ icon('list', size=17) }} Optionskatalog</div>
       <div class="card__sub">
-        Alle {{ options | length }} bekannten Optionen. Standardoptionen sind nicht löschbar,
+        Alle {{ katalog | length }} bekannten Optionen. Standardoptionen sind nicht löschbar,
         ihr Wert lässt sich leeren.
       </div>
     </div>
@@ -297,7 +312,7 @@
         <th style="width:42%">Wert</th><th class="actions"></th>
       </tr></thead>
       <tbody>
-        {% for option in options %}
+        {% for option in katalog %}
           <tr data-filter-text="{{ option.code }} {{ option.name }} {{ option.description }}">
             <td class="numeric fs-sm">{{ option.code }}</td>
             <td class="fs-sm">
@@ -305,8 +320,16 @@
               <div class="fs-xs faint">{{ option.description }}</div>
             </td>
             <td class="fs-xs mono">{{ option.type }}</td>
-            <td>{{ optionswert(option) }}</td>
+            {% if option.reserviert %}
-            <td class="actions">{{ optionsloeschen(option) }}</td>
+              {# Kein Eingabefeld: den Wert bestimmt der Katalog selbst. #}
+              <td class="fs-xs mono faint">
+                {{ option.value or '(noch sendet keine eigene Option einen Wert)' }}
+              </td>
+              <td class="actions">{{ pill('belegt', '') }}</td>
+            {% else %}
+              <td>{{ optionswert(option) }}</td>
+              <td class="actions">{{ optionsloeschen(option) }}</td>
+            {% endif %}
           </tr>
         {% endfor %}
       </tbody>
@@ -321,6 +344,8 @@
         <div class="card__title">{{ icon('plus', size=17) }} Eigene Option anlegen</div>
         <div class="card__sub">
           Für alles jenseits des Katalogs – etwa eine URL, die der Client beim Start öffnet.
+          Code <strong>224–254</strong>: nur diesen Bereich sieht DHCP für eigene Optionen vor,
+          und nur daraus hebt ein Linux-Client mit systemd-networkd sie überhaupt auf.
         </div>
       </div>
     </div>
@@ -328,7 +353,8 @@
       <input type="hidden" name="{{ csrf_field_name }}" value="{{ csrf_token() }}">
       <div class="card__body">
         <div class="form-grid">
-          {{ field('code', 'Code', type='number', required=True, placeholder='225') }}
+          {{ field('code', 'Code', type='number', required=True, placeholder='226',
+                   hint_text='224 bis 254') }}
           {{ field('name', 'Name', required=True, placeholder='meine-option') }}
           <label class="field">
             <span class="field__label">Typ</span>