From e97254baff0ebfe339317d2c81c59f72ab662143 Mon Sep 17 00:00:00 2001
From: Charlotte Van Petegem <charlotte.vanpetegem@ugent.be>
Date: Fri, 1 Oct 2021 10:29:36 +0200
Subject: [PATCH] Install pycharm and python for teaching

---
 machines/kharbranth/default.nix | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/machines/kharbranth/default.nix b/machines/kharbranth/default.nix
index 8bcd7a75..c45de963 100644
--- a/machines/kharbranth/default.nix
+++ b/machines/kharbranth/default.nix
@@ -7,6 +7,9 @@
 
   time.timeZone = "Europe/Brussels";
 
+  environment.etc."jetbrains/python".source = pkgs.python3;
+  environment.systemPackages = [ pkgs.jetbrains.pycharm-community ];
+
   # Machine-specific module settings
   chvp = {
     stateVersion = "20.09";