2023-07-05 20:43:59 +02:00
|
|
|
{ pkgs, lib, ... }:
|
|
|
|
{
|
|
|
|
|
|
|
|
environment.systemPackages = with pkgs; let
|
|
|
|
|
|
|
|
# to make copilot work
|
|
|
|
# jetbrains.pycharm-professional
|
|
|
|
fhsPyCharm = pkgs.buildFHSUserEnv {
|
|
|
|
name = "pycharm";
|
|
|
|
targetPkgs = pkgs: (with pkgs; [
|
|
|
|
black
|
|
|
|
isort
|
2023-10-24 20:00:56 +02:00
|
|
|
#unstable.jetbrains.pycharm-professional
|
|
|
|
jetbrains.pycharm-professional
|
2023-07-05 20:43:59 +02:00
|
|
|
python311
|
|
|
|
pipenv
|
|
|
|
zlib # needed for NumPy
|
|
|
|
nodejs
|
|
|
|
]);
|
|
|
|
runScript = "pycharm-professional";
|
|
|
|
};
|
|
|
|
|
|
|
|
# jetbrains.datagrip
|
|
|
|
fhsDataGrip = pkgs.buildFHSUserEnv {
|
|
|
|
name = "datagrip";
|
|
|
|
targetPkgs = pkgs: (with pkgs; [
|
2023-07-08 03:15:18 +02:00
|
|
|
unstable.jetbrains.datagrip
|
2023-07-05 20:43:59 +02:00
|
|
|
]);
|
|
|
|
runScript = "datagrip";
|
|
|
|
};
|
|
|
|
|
|
|
|
in
|
|
|
|
[
|
|
|
|
|
|
|
|
# rust development environment
|
2023-07-08 03:15:18 +02:00
|
|
|
gcc
|
2023-07-05 20:43:59 +02:00
|
|
|
rustup
|
2023-07-08 03:15:18 +02:00
|
|
|
unstable.jetbrains.clion
|
2023-07-05 20:43:59 +02:00
|
|
|
|
|
|
|
# general
|
2023-07-08 03:15:18 +02:00
|
|
|
unstable.jetbrains.idea-ultimate
|
2023-07-05 20:43:59 +02:00
|
|
|
#vscode
|
|
|
|
|
2023-11-09 23:06:42 +01:00
|
|
|
jetbrains.mps
|
2023-07-05 20:43:59 +02:00
|
|
|
|
2023-11-09 23:06:42 +01:00
|
|
|
fhsDataGrip
|
2023-07-05 20:43:59 +02:00
|
|
|
fhsPyCharm
|
|
|
|
(pkgs.makeDesktopItem {
|
|
|
|
name = "pycharm";
|
|
|
|
desktopName = "Python IDE";
|
|
|
|
exec = "${fhsPyCharm}/bin/pycharm";
|
|
|
|
terminal = false;
|
|
|
|
})
|
|
|
|
|
|
|
|
# python
|
|
|
|
python3Full
|
|
|
|
pipenv
|
|
|
|
|
|
|
|
];
|
|
|
|
}
|