some additions

common/vscode.nix

@@ -15,6 +15,12 @@
       valentjn.vscode-ltex
       ms-vscode.cpptools
     ] ++ pkgs.vscode-utils.extensionsFromVscodeMarketplace [
+     {
+       name = "doxdocgen";
+       publisher = "cschlosser";
+       version = "1.4.0";
+       sha256 = "sha256-InEfF1X7AgtsV47h8WWq5DZh6k/wxYhl2r/pLZz9JbU=";
+     }
      {
        name = "vsc-prolog";
        publisher = "arthurwang";
@@ -65,7 +71,7 @@
      }
     ];
    userSettings = {
-     "prolog.executablePath" = "/nix/store/dqabj0wj4ffqd0f051xm6pdrrx928fpl-user-environment/bin/swipl";
+     "prolog.executablePath" = "/etc/profiles/per-user/leonv/bin/swipl";
      "agdaMode.connection.agdaLanguageServer" = false;
      "agdaMode.highlighting.getHighlightWithThemeColors" = false;
      "editor.unicodeHighlight.ambiguousCharacters" = false;

gunther/configuration.nix

@@ -42,6 +42,7 @@
 
   # Set your time zone.
   time.timeZone = "Europe/Berlin";
+  time.hardwareClockInLocalTime = true;
 
   i18n.supportedLocales = [
     "en_US.UTF-8/UTF-8"

gunther/leonv.nix

@@ -11,6 +11,7 @@
   home.homeDirectory = "/home/leonv";
 
   home.packages = with pkgs; [ 
+    go
     # theme for gtk applications
     orchis-theme
     (catppuccin-gtk.override {
@@ -60,6 +61,8 @@
     ghostscript
     jdk11
     gcc
+    gdb
+    doxygen
     haskell.compiler.ghc981
     cabal-install
     haskell-language-server