?

absol/configuration.nix

@@ -184,7 +184,7 @@
       ((nerdfonts.override { fonts = [ "Hack" "DejaVuSansMono" "DroidSansMono" "Noto" ]; }))
       mononoki
       # noto-fonts
-      noto-fonts-cjk
+      noto-fonts-cjk-sans
       noto-fonts-emoji
     ];
     enableDefaultPackages = true;

absol/hypr/hypridle.conf

@@ -6,7 +6,7 @@ general {
 
 listener {
     timeout = 150                                # 2.5min.
-    on-timeout = brillo -O && brillo -S 10         # set monitor backlight to minimum, avoid 0 on OLED monitor.
+    on-timeout = brillo -O && brillo -S 4         # set monitor backlight to minimum, avoid 0 on OLED monitor.
     on-resume = brillo -I                 # monitor backlight restore.
 }
 

absol/leonv.nix

@@ -16,6 +16,7 @@
     ausweisapp
 
     # stuff
+    swi-prolog
     jq
     vlc
     openvpn

common/vscode.nix

@@ -15,6 +15,12 @@
       valentjn.vscode-ltex
       ms-vscode.cpptools
     ] ++ pkgs.vscode-utils.extensionsFromVscodeMarketplace [
+     {
+       name = "vsc-prolog";
+       publisher = "arthurwang";
+       version = "0.8.23";
+       sha256 = "sha256-Da2dCpruVqzP3g1hH0+TyvvEa1wEwGXgvcmIq9B/2cQ=";
+     }
      {
        name = "better-cpp-syntax";
        publisher = "jeff-hykin";
@@ -59,6 +65,7 @@
      }
     ];
    userSettings = {
+     "prolog.executablePath" = "/nix/store/dqabj0wj4ffqd0f051xm6pdrrx928fpl-user-environment/bin/swipl";
      "agdaMode.connection.agdaLanguageServer" = false;
      "agdaMode.highlighting.getHighlightWithThemeColors" = false;
      "editor.unicodeHighlight.ambiguousCharacters" = false;

gunther/configuration.nix

@@ -37,6 +37,10 @@
   boot.loader.efi.canTouchEfiVariables = true;
   boot.loader.efi.efiSysMountPoint = "/boot";
   boot.loader.systemd-boot.enable = true;
+  boot.loader.systemd-boot.extraEntries."debian.conf" = ''
+    title Debian
+    efi   /efi/debian/shimx64.efi
+    '';
 
   networking.hostName = "gunther";
   networking.networkmanager.enable = true;
@@ -188,7 +192,7 @@
       ((nerdfonts.override { fonts = [ "Hack" "DejaVuSansMono" "DroidSansMono" "Noto" ]; }))
       mononoki
       # noto-fonts
-      noto-fonts-cjk
+      noto-fonts-cjk-sans
       noto-fonts-emoji
     ];
     enableDefaultPackages = true;

gunther/hardware-configuration.nix

@@ -8,29 +8,34 @@
     [ (modulesPath + "/installer/scan/not-detected.nix")
     ];
 
-  boot.initrd.availableKernelModules = [ "xhci_pci" "ahci" "nvme" "usbhid" "usb_storage" "sd_mod" "amdgpu" ];
-  boot.initrd.kernelModules = [ "amdgpu" ];
-  boot.kernelModules = [ "amdgpu" ];
+  boot.initrd.availableKernelModules = [ "xhci_pci" "ahci" "nvme" "usbhid" "usb_storage" "sd_mod" ];
+  boot.initrd.kernelModules = [ ];
+  boot.kernelModules = [ "kvm-intel" ];
   boot.extraModulePackages = [ ];
   boot.kernelParams = [ "video=DP-1:2560x1440@144" "video=HDMI-A-1:1920x1080@75" ];
   boot.kernelPackages = pkgs.linuxPackages_latest;
 
   fileSystems."/" =
-    { device = "/dev/disk/by-uuid/2191540a-8cf9-400e-b4bc-9dbf71527b07";
+    { device = "/dev/disk/by-uuid/8dce9c4c-8b94-4b1e-af4f-3fa5450f2b74";
       fsType = "ext4";
     };
 
   fileSystems."/boot" =
     { device = "/dev/disk/by-uuid/3DD6-C061";
       fsType = "vfat";
+      options = [ "fmask=0077" "dmask=0077" ];
     };
 
-  swapDevices =
-    [ { device = "/dev/disk/by-uuid/7c6d727e-1d40-472a-a409-205db0776d20"; }
-    ];
+  swapDevices = [ ];
 
+  # Enables DHCP on each ethernet and wireless interface. In case of scripted networking
+  # (the default) this is the recommended approach. When using systemd-networkd it's
+  # still possible to use this option, but it's recommended to use it in conjunction
+  # with explicit per-interface declarations with `networking.interfaces.<interface>.useDHCP`.
   networking.useDHCP = lib.mkDefault true;
+  # networking.interfaces.enp6s0.useDHCP = lib.mkDefault true;
+  # networking.interfaces.wlp5s0.useDHCP = lib.mkDefault true;
+
   nixpkgs.hostPlatform = lib.mkDefault "x86_64-linux";
-  powerManagement.cpuFreqGovernor = lib.mkDefault "powersave";
   hardware.cpu.intel.updateMicrocode = lib.mkDefault config.hardware.enableRedistributableFirmware;
 }

gunther/hypr/hyprland.nix

@@ -6,13 +6,13 @@
     xwayland.enable = true;
     settings = {
       workspace = [
-        "1, monitor:HDMI-A-1,  default:true, persistent:true"
-        "2, monitor:DP-1    , default:true, persistent:true"
+        "1, monitor:HDMI-A-5,  default:true, persistent:true"
+        "2, monitor:DP-3    , default:true, persistent:true"
         "special:scratchpad, on-created-empty:foot"
       ];
       monitor = [
-        "DP-1    , 2560x1440@144, 1920x0, 1"
-        "HDMI-A-1, 1920x1080@75 , 0x0   , 1"
+        "DP-3    , 2560x1440@144, 1920x0, 1"
+        "HDMI-A-5, 1920x1080@75 , 0x0   , 1"
       ];
       input = {
         kb_layout = "de";
@@ -63,7 +63,7 @@
       bind = [
         # opening programs
         "$mod, Return, exec, foot"
-        "$mod, D, exec, wofi"
+        "$mod, D, exec, tofi-drun | xargs hyprctl dispatch exec --"
         "$mod, M, exit, "
         "$mod, Q, killactive, "
 
@@ -152,90 +152,6 @@
     };
   };
 
-  programs.wofi = {
-    enable = true;
-    settings = {
-      width = 600;
-      height = 365;
-      location = "center";
-      show = "drun";
-      prompt = "Search...";
-      filter_rate = 100;
-      allow_markup = true;
-      no_actions = true;
-      halign = "fill";
-      orientation = "vertical";
-      content_halign = "fill";
-      insensitive = true;
-      allow_images = true;
-      image_size = 40;
-      gtk_dark = true;
-      layer = "overlay";
-    };
-    style = ''
-      window {
-          margin: 0px;
-          border: 2px solid #b59dc3;
-          background-color: #282a36;
-          border-radius: 18px;
-
-
-          }
-          
-          #input {
-          margin: 5px;
-          border: none;
-          color: #f8f8f2;
-          border-radius: 15px;
-          background-color: #44475a;
-          }
-          
-          #inner-box {
-          margin: 5px;
-          border: none;
-          border-radius: 15px;
-          background-color: #282a36;
-          }
-          
-          #outer-box {
-          margin: 5px;
-          border: none;
-          border-radius: 15px;
-          background-color: #282a36;
-          }
-          
-          #scroll {
-          margin: 0px;
-          border-radius: 15px;
-          border: none;
-          }
-          
-          #text {
-          border-radius: 15px;
-          margin: 5px;
-          border: none;
-          color: #f8f8f2;
-          } 
-          
-          #entry.activatable #text {
-          color: #282a36;
-          }
-          
-          #entry > * {
-          color: #f8f8f2;
-          }
-          
-          #entry:selected {
-              border-radius: 15px;
-              background-color: #44475a;
-          }
-          
-          #entry:selected #text {
-              border-radius: 15px;
-          }
-    '';
-  };
-
   services.mako = {
     enable = true;
     extraConfig = ''

gunther/leonv.nix

@@ -171,6 +171,22 @@
     enable = true;
   };
 
+  programs.tofi = {
+    enable = true;
+    settings = {
+      width = "100%";
+      height = "100%";
+      border-width = 0;
+      outline-width = 0;
+      padding-left = "35%";
+      padding-top = "35%";
+      result-spacing = 25;
+      num-results = 5;
+      font = "monospace";
+      background-color = "#000A";
+    };
+  };
+
 
   # dconf.settings = {
   #   # GTK4 Setup

nix-secrets

@@ -1 +1 @@
-Subproject commit 373cd1194e238a4bc42787b8b9310cf4b781f2eb
+Subproject commit 7acca8810da37a1de0f913d08f41c23fb0526754