From b9294d8f39fd3e4043f330e0af0de554454addc6 Mon Sep 17 00:00:00 2001
From: Gabriel Arazas <foodogsquared@foodogsquared.one>
Date: Mon, 18 Dec 2023 08:59:25 +0800
Subject: [PATCH] profiles/dev: move more stuff to extras submodule

---
 modules/nixos/profiles/dev.nix | 16 +++++++++-------
 1 file changed, 9 insertions(+), 7 deletions(-)

diff --git a/modules/nixos/profiles/dev.nix b/modules/nixos/profiles/dev.nix
index 9a1fa2db..9ad6e171 100644
--- a/modules/nixos/profiles/dev.nix
+++ b/modules/nixos/profiles/dev.nix
@@ -53,12 +53,6 @@ in {
       # Profile your whole system.
       services.sysprof.enable = true;
 
-      # Make shebangs even more magical.
-      services.envfs.enable = true;
-
-      # Convenience!
-      environment.localBinInPath = true;
-
       # Additional settings for developing with nix.
       nix.settings = {
         keep-outputs = true;
@@ -66,7 +60,6 @@ in {
       };
 
       # This is set as our system packages for the sake of convenience.
-      services.lorri.enable = true;
       environment.systemPackages = with pkgs; [
         bind.dnsutils # A bunch of things to make sense with DNS.
         curl # Our favorite network client.
@@ -120,6 +113,15 @@ in {
         github-cli # ...in the GitHub CLI.
         git-filter-repo # History is written by the victors (and force-pushers which are surely not victors).
       ]));
+
+      # Make per-project devenvs more of a living thing.
+      services.lorri.enable = true;
+
+      # Make shebangs even more magical.
+      services.envfs.enable = true;
+
+      # Convenience!
+      environment.localBinInPath = true;
     })
 
     # !!! Please add your user to the "libvirtd" group.