From 5c47118834710191af168ba57ca9f5146228c35b Mon Sep 17 00:00:00 2001
From: Tom Hubrecht <tom.hubrecht@ens.fr>
Date: Fri, 19 May 2023 15:12:51 +0200
Subject: [PATCH] Update gitignore and shell.nix

---
 .gitignore | 3 ++-
 shell.nix  | 2 ++
 2 files changed, 4 insertions(+), 1 deletion(-)

diff --git a/.gitignore b/.gitignore
index 20e228a4..70b12409 100644
--- a/.gitignore
+++ b/.gitignore
@@ -5,6 +5,7 @@ cof/settings.py
 settings.py
 *~
 venv/
+.venv/
 .vagrant
 /src
 media/
@@ -19,4 +20,4 @@ media/
 
 # VSCode
 .vscode/
-.direnv
\ No newline at end of file
+.direnv
diff --git a/shell.nix b/shell.nix
index 624c9bde..440f24bd 100644
--- a/shell.nix
+++ b/shell.nix
@@ -6,6 +6,8 @@ pkgs.mkShell {
 
     virtualenv .venv
     source .venv/bin/activate
+
+    pip install -r requirements-devel.txt | grep -v 'Requirement already satisfied:'
   '';
 
   packages = with pkgs; [