{ config, lib, pkgs, ... }: { services.hedgedoc = { enable = true; settings = { domain = "hedgedoc.mymarseille.duckdns.org"; port = 8001; }; }; }