From a76ceaef318dbb64891c8f4998d9f00bf788835b Mon Sep 17 00:00:00 2001 From: iosmanthus Date: Fri, 1 Jul 2022 15:42:46 +0800 Subject: [PATCH] remove nix-shell Signed-off-by: iosmanthus --- shell.nix | 14 -------------- 1 file changed, 14 deletions(-) delete mode 100644 shell.nix diff --git a/shell.nix b/shell.nix deleted file mode 100644 index 20ff724d272..00000000000 --- a/shell.nix +++ /dev/null @@ -1,14 +0,0 @@ -{ pkgs ? import {} }: - -( - pkgs.buildFHSUserEnv { - name = "client-java-shell"; - targetPkgs = pkgs: with pkgs;[ git maven openjdk8 ]; - runScript = '' - env \ - GIT_SSL_CAINFO=/etc/ssl/certs/ca-certificates.crt \ - JAVA_HOME=${pkgs.openjdk8}/lib/openjdk \ - bash - ''; - } -).env