From e92c500940e3eff43fbf40cdb8e4bd9b73a03a93 Mon Sep 17 00:00:00 2001
From: Tom Hubrecht <tom.hubrecht@ens.fr>
Date: Sun, 11 Feb 2024 19:58:55 +0100
Subject: [PATCH] feat(shell.nix): Switch to python 3.9

---
 shell.nix | 40 +++++++++++++---------------------------
 1 file changed, 13 insertions(+), 27 deletions(-)

diff --git a/shell.nix b/shell.nix
index 1dba6da6..69411b79 100644
--- a/shell.nix
+++ b/shell.nix
@@ -1,29 +1,12 @@
-{ pkgs ? import <nixpkgs> { }, ... }:
+{
+  pkgs ? import <nixpkgs> { },
+  ...
+}:
 
 let
-  python = pkgs.python38;
-
-  django-types = python.pkgs.buildPythonPackage rec {
-    pname = "django-types";
-    version = "0.17.0";
-
-    format = "pyproject";
-
-    src = pkgs.fetchPypi {
-      inherit pname version;
-      hash = "sha256-wcQqt4h2xXxyg0LVqwYHJas3H8jcg7uFuuC+BoRqrXA=";
-    };
-
-    nativeBuildInputs = with python.pkgs; [ poetry-core ];
-
-    # setup.cfg tries to pull in nonexistent LICENSE.txt file
-    # postPatch = "rm setup.cfg";
-
-    # propagatedBuildInputs = [ django typing-extensions ];
-  };
+  python = pkgs.python39;
 in
 
-
 pkgs.mkShell {
   shellHook = ''
     export DJANGO_SETTINGS_MODULE=gestioasso.settings.local
@@ -34,11 +17,14 @@ pkgs.mkShell {
     pip install -r requirements-devel.txt | grep -v 'Requirement already satisfied:'
   '';
 
-  packages = [ python django-types ] ++ (with python.pkgs; [
-    pip
-    virtualenv
-    python-ldap
-  ]);
+  packages =
+    [ python ]
+    ++ (with python.pkgs; [
+      django-types
+      pip
+      virtualenv
+      python-ldap
+    ]);
 
   allowSubstitutes = false;
 }