From c5e7a7b60c3fed65c140c204db00bfb50c8c2eac Mon Sep 17 00:00:00 2001
From: "Niels G. W. Serup" <ngws@metanohi.name>
Date: Sat, 7 Nov 2020 13:03:39 +0100
Subject: [PATCH] Simplify nix integration a bit

---
 default.nix | 5 -----
 shell.nix   | 6 ++++++
 2 files changed, 6 insertions(+), 5 deletions(-)
 delete mode 100644 default.nix
 create mode 100644 shell.nix

diff --git a/default.nix b/default.nix
deleted file mode 100644
index a23204c..0000000
--- a/default.nix
+++ /dev/null
@@ -1,5 +0,0 @@
-with import <nixpkgs> {};
-stdenv.mkDerivation {
-    name = "a-robots-conundrum";
-    buildInputs = [ (python27.withPackages (ps: with ps; [ pygame numpy ])) ];
-}
diff --git a/shell.nix b/shell.nix
new file mode 100644
index 0000000..8aa222d
--- /dev/null
+++ b/shell.nix
@@ -0,0 +1,6 @@
+# Use this file with nix-shell or similar tools; see https://nixos.org/
+with import <nixpkgs> {};
+
+mkShell {
+  buildInputs = [ (python27.withPackages (ps: with ps; [ pygame numpy ])) ];
+}