From 1d436e6756915d263b3cddd1c45623a33a682714 Mon Sep 17 00:00:00 2001
From: Nathan McCarty <nathan@mccarty.io>
Date: Fri, 25 Aug 2023 13:31:08 -0400
Subject: [PATCH] Move picotool from linux to common

---
 home-manager/common/programs/devel.nix | 2 ++
 home-manager/linux/programs/devel.nix  | 2 --
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/home-manager/common/programs/devel.nix b/home-manager/common/programs/devel.nix
index 5a91034..12eebce 100644
--- 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 ]; })
   ];
 }
diff --git a/home-manager/linux/programs/devel.nix b/home-manager/linux/programs/devel.nix
index d556f8f..ea7227a 100644
--- 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 ]; })
   ];
 }