with import <nixpkgs> {};
let
  extensions = (with pkgs.vscode-extensions; [
      ms-python.python
    ]);
  vscode-with-extensions = pkgs.vscode-with-extensions.override {
    vscodeExtensions = extensions;
  };
in
  stdenv.mkDerivation rec {
    name = "totpal-dev-env";

    buildInputs = [
      (python3.withPackages (ps: with ps; [
        flask flask-socketio eventlet pylint
      ]))
      git
      openjdk11
      jetbrains.pycharm-professional
    ];
  }