{pkgs, config, ... }: { services.syncthing = { settings = { devices = { "win10-desktop" = { name = "win10-desktop"; id = "VDAEJGQ-RA7GAT5-KLA7SRL-X2CV2EG-RMRMD6Z-TFE36JA-2TBBQG2-ED346AL"; }; "framework-server" = { # The docker container, not the host name = "framework-server"; id = "ULRNA7N-Q7WTZR3-PDQW52W-IWT4UOG-ABF5RCT-W6XJXOW-WQTJIWR-GBFUJQR"; }; }; }; }; }