{ arion = { config, pkgs, ... }:{ deployment.targetHost = "arion.net.entr0py.de"; }; geon = { config, pkgs, ... }:{ deployment.targetHost = "geon.net.entr0py.de"; }; pion = { config, pkgs, ... }:{ deployment.targetHost = "pion.net.entr0py.de"; }; scotty-router = { config, pkgs, ... }:{ deployment.targetHost = "scotty-router"; }; tailpipe = { config, pkgs, ... }:{ deployment.targetHost = "tailpipe.net.entr0py.de"; }; dyon = { config, pkgs, ... }:{ deployment.targetHost = "dyon.net.entr0py.de"; }; kaon = { config, pkgs, ... }:{ deployment.targetHost = "kaon.net.entr0py.de"; }; }