From a6e4b96ca970de18950c4e7d5f06d6ad58555a21 Mon Sep 17 00:00:00 2001
From: Florian Klink <flokli@flokli.de>
Date: Tue, 23 Apr 2024 11:58:44 +0300
Subject: [PATCH] shell.nix: expose devShellFull

This allows accessing devShells.full from shell.nix.
---
 shell.nix | 1 +
 1 file changed, 1 insertion(+)

diff --git a/shell.nix b/shell.nix
index 0fa02b66..7236fdcb 100644
--- a/shell.nix
+++ b/shell.nix
@@ -11,6 +11,7 @@ in
 {
   # --- Dev shell inherited from flake.nix ---
   devShell = devShells.default;
+  devShellFull = devShells.full;
 
   # --- Continuous integration shell ---
   # The shell used for all CI jobs (along with devShell)