Actually add picotool lamo

Move picotool from linux to common
2023-08-25 14:15:40 -04:00 · 2023-08-25 13:31:08 -04:00
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 picotool ]; })
  ];
 }
--- 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 ]; })
  ];
 }
Author	SHA1	Message	Date
Nathan McCarty	ebdd874df7	Actually add picotool lamo	2023-08-25 14:15:40 -04:00
Nathan McCarty	1d436e6756	Move picotool from linux to common	2023-08-25 13:31:08 -04:00