From 2ae746d1b09a069ee608028a903caf22f22c198d Mon Sep 17 00:00:00 2001
From: iosmanthus <dengliming@pingcap.com>
Date: Fri, 1 Jul 2022 16:53:05 +0800
Subject: [PATCH] [close #626] remove nix-shell (#627)

---
 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 20ff724d27..0000000000
--- a/shell.nix
+++ /dev/null
@@ -1,14 +0,0 @@
-{ pkgs ? import <nixpkgs> {} }:
-
-(
-  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