From d7439d41bc7681ff5f588540470e480fe0466b96 Mon Sep 17 00:00:00 2001
From: Andreas Zweili <andreas@zweili.ch>
Date: Mon, 11 Mar 2024 16:20:54 +0100
Subject: [PATCH] Move the dev script to tooling/bin

---
 .gitignore                | 1 -
 flake.nix                 | 2 +-
 dev.sh => tooling/bin/dev | 0
 3 files changed, 1 insertion(+), 2 deletions(-)
 rename dev.sh => tooling/bin/dev (100%)

diff --git a/.gitignore b/.gitignore
index 3d92d81..2db2b8f 100644
--- a/.gitignore
+++ b/.gitignore
@@ -153,7 +153,6 @@ ENV/
 # Rope project settings
 .ropeproject
 
-bin/
 /lib64
 /pyvenv.cfg
 share/
diff --git a/flake.nix b/flake.nix
index 8dc1ca0..9e2d1b9 100644
--- a/flake.nix
+++ b/flake.nix
@@ -33,12 +33,12 @@
             modules = [
               {
                 enterShell = ''
+                  export PATH=$PATH:$DEVENV_ROOT/tooling/bin/
                   export PGPORT=$(($WEBPORT + 100))
                   export PROJECT_DIR=$(pwd)
                   export WEBPORT=$(($RANDOM + 1100))
                   ln -sf ${config.process-managers.process-compose.configFile} ${config.env.DEVENV_ROOT}/process-compose.yml
                 '';
-                packages = [ (pkgs.writeScriptBin "dev" "${builtins.readFile ./dev.sh}") ];
                 env = {
                   DJANGO_SETTINGS_MODULE = "network_inventory.settings.local";
                   PYTHON_KEYRING_BACKEND = "keyring.backends.fail.Keyring";
diff --git a/dev.sh b/tooling/bin/dev
similarity index 100%
rename from dev.sh
rename to tooling/bin/dev