From 7591e0a8a44c06de0b101dc4828a88b08b77b048 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Sandro=20J=C3=A4ckel?= <sandro.jaeckel@gmail.com>
Date: Sat, 9 Jul 2022 23:31:18 +0200
Subject: [PATCH] Fix invalid generated dn42 IPv6 for pulsebert

Before the C3D2 prefix ended in :: and the final address contained :::
which is invalid.
---
 config/c3d2.nix | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/config/c3d2.nix b/config/c3d2.nix
index 8906d849..459fb3dc 100644
--- a/config/c3d2.nix
+++ b/config/c3d2.nix
@@ -3,9 +3,9 @@
 { zentralwerk, hostRegistry, config, options, lib, pkgs, ... }:
 
 let
-  hqPrefix64 = builtins.head (
+  hqPrefix64 = lib.removeSuffix "::" (builtins.head (
     builtins.split "/" zentralwerk.lib.config.site.net.c3d2.subnets6.dn42
-  );
+  ));
 
   # Generate a deterministic IPv6 address for a 64 bit prefix
   # and seed string. Prefix must not contain trailing ':'.