remove archived ddbs

2022-11-18 16:29:48 +08:00 · 2022-11-18 16:29:48 +08:00 · 8da02c60da
parent d9a6bdb674
commit 8da02c60da
1 changed files with 0 additions and 12 deletions
--- a/artiq-full.nix
+++ b/artiq-full.nix
@ -156,24 +156,12 @@ let
              "2" = "apsatellite2";
            };
          };
-          bonn2 = {
-            master = "bonn2master";
-            satellites = {
-              "1" = "bonn2satellite";
-            };
-          };
          ptb3 = {
            master = "ptb3master";
            satellites = {
              "1" = "ptb3satellite";
            };
          };
-          sias = {
-            master = "siasmaster";
-            satellites = {
-              "1" = "siassatellite";
-            };
-          };
        ''}
      };
      drtio-ddbs = pkgs.lib.attrsets.mapAttrs'