From 1cca3251101d7cf53c1ac3a5f178e860007abdd0 Mon Sep 17 00:00:00 2001 From: Jack Hodgkinson <30505104+jhodgdev@users.noreply.github.com> Date: Tue, 8 Feb 2022 09:26:10 +0000 Subject: [PATCH] Removed nix.shell, as no longer required --- shell.nix | 6 ------ 1 file changed, 6 deletions(-) delete mode 100644 shell.nix diff --git a/shell.nix b/shell.nix deleted file mode 100644 index 3dc01ba..0000000 --- a/shell.nix +++ /dev/null @@ -1,6 +0,0 @@ -# This file is no longer useful for normal nix-shell, as it has -# been superseded by flake.nix However, this is still useful for -# lorri to use automatically. -{ system ? builtins.currentSystem }: - -(builtins.getFlake (toString ./.)).devShell.${system}