dolomite: drop tok-00, add fre-00

modules/nixos/common-settings/proxy-server.nix

@@ -9,6 +9,7 @@ let
     mkIf
     mkEnableOption
     mkOption
+    mkDefault
     types
     ;
 
@@ -127,7 +128,7 @@ in
     trojan = {
       port = mkOption {
         type = lib.types.port;
-        default = cfg.trojan.port;
+        default = 8080;
       };
     };
 
@@ -163,11 +164,6 @@ in
     ];
     networking.firewall.allowedUDPPorts = [ ] ++ (lib.range 6311 6314);
 
-    custom.prometheus = {
-      enable = true;
-      exporters.blackbox.enable = true;
-    };
-
     services.sing-box = {
       enable = true;
       settings = mkSingConfig {