vscode-extensions.ms-python.python: 2018.12.1 -> 2019.6.22090

2019-07-07 21:12:46 -04:00
parent c4b2a3f92a
commit a8b31a14b1
4 changed files with 74 additions and 13 deletions
@@ -0,0 +1,15 @@
+{ stdenv, unzip }:
+{ name, version, src, ... }:
+
+stdenv.mkDerivation {
+  inherit name version src;
+
+  buildInputs = [ unzip ];
+  dontBuild = true;
+  unpackPhase = "unzip $src";
+  installPhase = ''
+    mkdir -p "$out"
+    chmod -R +w .
+    find . -mindepth 1 -maxdepth 1 | xargs cp -a -t "$out"
+  '';
+}