Move picotool from linux to common

2023-08-25 13:31:08 -04:00 · 2023-08-25 13:31:08 -04:00 · 1d436e6756
parent 80c3b1f9fc
commit 1d436e6756
2 changed files with 2 additions and 2 deletions
--- a/home-manager/common/programs/devel.nix
+++ b/home-manager/common/programs/devel.nix
@ -115,5 +115,7 @@ with nLib; {
        hlint
      ];
    })
+    # RPi Pico Development
+    (mkIf devel.pico { home.packages = with unstable; [ pico-sdk ]; })
  ];
 }
--- a/home-manager/linux/programs/devel.nix
+++ b/home-manager/linux/programs/devel.nix
@ -39,7 +39,5 @@ with nLib; {
        ktlint
      ];
    })
-    # RPi Pico Development
-    (mkIf devel.pico { home.packages = with unstable; [ pico-sdk ]; })
  ];
 }