only trigger iso rebuild when push on iso branch

.gitea/workflows/default.yaml

@@ -3,7 +3,7 @@ run-name: iso building
 on:
   push:
     branches:
-      - 'master'
+      - 'iso'
 
 jobs:
   test:

homeConfigs/hosts/laptop.nix

@@ -44,6 +44,7 @@
     blender
 	wireshark
 	localsend
+	impala
   ];
 
 }

homeConfigs/modules/git.nix

@@ -21,7 +21,7 @@
 		help.autocorrect = 1;
 		user.signingkey = "251B4BD73683A8DF13D760A868BFAFE31DF313AD";
 		commit.gpgsign = true;
-        aliase = {
+        alias = {
           fuck = "!f() { git reset --hard \"@{upstream}\" && git restore . && git clean -f .; };f";
           back = "reset HEAD~";
         };

homeConfigs/modules/vim.nix

@@ -20,13 +20,49 @@
       nixd
       nodejs_24
       glsl_analyzer
+      (pkgs.python3.withPackages (ps: with ps; [
+        python-lsp-server
+        pylsp-mypy
+        python-lsp-ruff
+        pycodestyle
+      ]))
     ];
 
+#    programs.neovim.extraLuaConfig = ''
+#      vim.lsp.config('pylsp', {})
+#    '';
+
+    programs.neovim.extraLuaConfig = ''
+      local coq = require "coq"
+
+      vim.lsp.config('clangd', coq.lsp_ensure_capabilities({}))
+      vim.lsp.enable('clangd')
+
+      vim.lsp.config('nixd', coq.lsp_ensure_capabilities({}))
+      vim.lsp.enable('nixd')
+
+      vim.lsp.config('glsl_analyzer', coq.lsp_ensure_capabilities({}))
+      vim.lsp.enable('glsl_analyzer')
+
+      vim.lsp.config('pylsp', coq.lsp_ensure_capabilities({
+        cmd = {"pylsp", "-vvv", "--log-file", "/tmp/lsp.log"}
+      }))
+      vim.lsp.enable('pylsp')
+
+	  vim.diagnostic.config({
+        virtual_lines = {
+          current_line = true
+        }
+      })
+
+    '';
+
     programs.neovim.extraConfig = ''
       set number
       set ai
       autocmd BufWinLeave *.* mkview
       autocmd BufWinEnter *.* silent! loadview
+	  autocmd VimEnter * COQnow --shut-up
       set tabstop=4
       set scrolloff=10
       set smartindent 
@@ -62,13 +98,13 @@
       Plug 'lambdalisue/fern-renderer-nerdfont.vim'
       Plug 'lambdalisue/fern-git-status.vim'
       Plug 'lambdalisue/fern.vim'
+      Plug 'ms-jpq/coq_nvim', { 'branch': 'coq' }
+      Plug 'ms-jpq/coq.artifacts', { 'branch': 'artifacts' }
+      Plug 'ms-jpq/coq.thirdparty', { 'branch': '3p' }
       call plug#end()
       
       colorscheme catppuccin-mocha
       
-      lua require'lspconfig'.clangd.setup{}
-      lua require'lspconfig'.nixd.setup{}
-      lua require'lspconfig'.glsl_analyzer.setup{}
       set signcolumn=auto
 
       nnoremap <leader>ff <cmd>Telescope find_files<cr>
@@ -80,18 +116,19 @@
       let g:user42    = 'tomoron'
       let g:mail42    = 'tomoron@student.42angouleme.fr'
       let g:fern#renderer = "nerdfont"
+
     '';
 
     home.file = {
       #install plug.vim
-      ".local/share/nvim/site/autoload/plug.vim".source = "${builtins.fetchGit {
+      ".local/share/nvim/site/autoload/plug.vim".source = "${fetchGit {
         url = "https://github.com/junegunn/vim-plug";
         rev = "d80f495fabff8446972b8695ba251ca636a047b0";
         ref = "master"; 
       }}/plug.vim";
 
       #install stdheader 42
-      ".config/nvim/plugin/stdheader.vim".source = "${builtins.fetchGit {
+      ".config/nvim/plugin/stdheader.vim".source = "${fetchGit {
         url = "https://github.com/42Paris/42header";
         rev = "e6e6b191871545e0d43f1aad817070bc806b8fa7";
         ref = "master";

homeConfigs/packages.nix

@@ -6,7 +6,7 @@
 #    By: tomoron <tomoron@student.42angouleme.fr>   +#+  +:+       +#+         #
 #                                                 +#+#+#+#+#+   +#+            #
 #    Created: 2025/02/09 22:01:56 by tomoron           #+#    #+#              #
-#    Updated: 2025/11/17 11:55:17 by tomoron          ###   ########.fr        #
+#    Updated: 2026/02/06 23:43:40 by tomoron          ###   ########.fr        #
 #                                                                              #
 # **************************************************************************** #
 
@@ -34,7 +34,6 @@
     unison
     brightnessctl  
     playerctl
-    python3
     vlc
     nix-index
     yubikey-manager
@@ -47,5 +46,6 @@
 	sops
 	libreoffice
 	doxygen
+	qimgv
   ];
 }

osConfigs/global/ld.nix

@@ -0,0 +1,160 @@
+# **************************************************************************** #
+#                                                                              #
+#                                                         :::      ::::::::    #
+#    ld.nix                                             :+:      :+:    :+:    #
+#                                                     +:+ +:+         +:+      #
+#    By: tomoron <tomoron@student.42angouleme.fr>   +#+  +:+       +#+         #
+#                                                 +#+#+#+#+#+   +#+            #
+#    Created: 2025/12/30 20:37:07 by tomoron           #+#    #+#              #
+#    Updated: 2026/02/05 12:47:23 by tomoron          ###   ########.fr        #
+#                                                                              #
+# **************************************************************************** #
+
+{pkgs, ... }:
+
+{
+	programs.nix-ld.enable = true;
+	programs.nix-ld.libraries = with pkgs; [
+	  # List by default
+      zlib
+      zstd
+      stdenv.cc.cc
+      curl
+      openssl
+      attr
+      libssh
+      bzip2
+      libxml2
+      acl
+      libsodium
+      util-linux
+      xz
+      systemd
+      
+      # My own additions
+      xorg.libXcomposite
+      xorg.libXtst
+      xorg.libXrandr
+      xorg.libXext
+      xorg.libX11
+      xorg.libXfixes
+      libGL
+      libva
+      pipewire
+      xorg.libxcb
+      xorg.libXdamage
+      xorg.libxshmfence
+      xorg.libXxf86vm
+      libelf
+
+      # Required
+      glib
+      gtk2
+
+      # Inspired by steam
+      # https://github.com/NixOS/nixpkgs/blob/master/pkgs/by-name/st/steam/package.nix#L36-L85
+      networkmanager      
+      vulkan-loader
+      libgbm
+      libdrm
+      libxcrypt
+      coreutils
+      pciutils
+      zenity
+      # glibc_multi.bin # Seems to cause issue in ARM
+      
+      # # Without these it silently fails
+      xorg.libXinerama
+      xorg.libXcursor
+      xorg.libXrender
+      xorg.libXScrnSaver
+      xorg.libXi
+      xorg.libSM
+      xorg.libICE
+      gnome2.GConf
+      nspr
+      nss
+      cups
+      libcap
+      SDL2
+      libusb1
+      dbus-glib
+      ffmpeg
+      # Only libraries are needed from those two
+      libudev0-shim
+      
+      # needed to run unity
+      gtk3
+      icu
+      libnotify
+      gsettings-desktop-schemas
+      # https://github.com/NixOS/nixpkgs/issues/72282
+      # https://github.com/NixOS/nixpkgs/blob/2e87260fafdd3d18aa1719246fd704b35e55b0f2/pkgs/applications/misc/joplin-desktop/default.nix#L16
+      # log in /home/leo/.config/unity3d/Editor.log
+      # it will segfault when opening files if you don’t do:
+      # export XDG_DATA_DIRS=/nix/store/0nfsywbk0qml4faa7sk3sdfmbd85b7ra-gsettings-desktop-schemas-43.0/share/gsettings-schemas/gsettings-desktop-schemas-43.0:/nix/store/rkscn1raa3x850zq7jp9q3j5ghcf6zi2-gtk+3-3.24.35/share/gsettings-schemas/gtk+3-3.24.35/:$XDG_DATA_DIRS
+      # other issue: (Unity:377230): GLib-GIO-CRITICAL **: 21:09:04.706: g_dbus_proxy_call_sync_internal: assertion 'G_IS_DBUS_PROXY (proxy)' failed
+      
+      # Verified games requirements
+      xorg.libXt
+      xorg.libXmu
+      libogg
+      libvorbis
+      SDL
+      SDL2_image
+      glew_1_10
+      libidn
+      tbb
+      
+      # Other things from runtime
+      flac
+      freeglut
+      libjpeg
+      libpng
+      libpng12
+      libsamplerate
+      libmikmod
+      libtheora
+      libtiff
+      pixman
+      speex
+      SDL_image
+      SDL_ttf
+      SDL_mixer
+      SDL2_ttf
+      SDL2_mixer
+      libappindicator-gtk2
+      libdbusmenu-gtk2
+      libindicator-gtk2
+      libcaca
+      libcanberra
+      libgcrypt
+      libvpx
+      librsvg
+      xorg.libXft
+      libvdpau
+      # ...
+      # Some more libraries that I needed to run programs
+      pango
+      cairo
+      atk
+      gdk-pixbuf
+      fontconfig
+      freetype
+      dbus
+      alsa-lib
+      expat
+      # for blender
+      libxkbcommon
+
+      libxcrypt-legacy # For natron
+      libGLU # For natron
+
+      # Appimages need fuse, e.g. https://musescore.org/fr/download/musescore-x86_64.AppImage
+      fuse
+      e2fsprogs
+
+      webkitgtk_4_1
+	  libsoup_3
+	];
+}

osConfigs/global/nix-alien.nix

@@ -0,0 +1,12 @@
+{ ... }:
+
+let
+  nix-alien-pkgs = import (
+    builtins.fetchTarball "https://github.com/thiagokokada/nix-alien/tarball/master"
+  ) { };
+in
+{
+  environment.systemPackages = with nix-alien-pkgs; [
+    nix-alien
+  ];
+}

osConfigs/global/packages.nix

@@ -6,7 +6,7 @@
 #    By: tomoron <tomoron@student.42angouleme.fr>   +#+  +:+       +#+         #
 #                                                 +#+#+#+#+#+   +#+            #
 #    Created: 2025/09/06 00:57:21 by tomoron           #+#    #+#              #
-#    Updated: 2025/09/06 00:57:26 by tomoron          ###   ########.fr        #
+#    Updated: 2025/12/30 18:12:05 by tomoron          ###   ########.fr        #
 #                                                                              #
 # **************************************************************************** #
 
@@ -21,5 +21,7 @@
     ntfs3g
     cryptsetup
     acpi
+
+	nss
   ];
 }

osConfigs/global/user.nix

@@ -6,7 +6,7 @@
 #    By: tomoron <tomoron@student.42angouleme.fr>   +#+  +:+       +#+         #
 #                                                 +#+#+#+#+#+   +#+            #
 #    Created: 2025/09/05 23:42:18 by tomoron           #+#    #+#              #
-#    Updated: 2025/09/06 00:57:32 by tomoron          ###   ########.fr        #
+#    Updated: 2026/01/13 16:32:42 by tomoron          ###   ########.fr        #
 #                                                                              #
 # **************************************************************************** #
 

osConfigs/hosts/laptop.nix

@@ -6,7 +6,7 @@
 #    By: tomoron <tomoron@student.42angouleme.fr>   +#+  +:+       +#+         #
 #                                                 +#+#+#+#+#+   +#+            #
 #    Created: 2025/09/06 00:56:57 by tomoron           #+#    #+#              #
-#    Updated: 2025/11/21 10:40:19 by tomoron          ###   ########.fr        #
+#    Updated: 2026/02/03 14:40:35 by tomoron          ###   ########.fr        #
 #                                                                              #
 # **************************************************************************** #
 
@@ -40,11 +40,13 @@
   networking.firewall.enable = false;
 
   networking.hostName = "patate-douce";
-  networking.wireless.enable = true;
+#  networking.wireless.enable = true;
+  networking.networkmanager.wifi.backend = "iwd";
+  networking.wireless.iwd.enable = true;
+  networking.wireless.allowAuxiliaryImperativeNetworks = true;
   networking.networkmanager.enable = false;
 
   specialisation.vfio_ready.configuration = {
-    boot.kernel.sysctl."vm.nr_hugepages" = 5120;
     boot.extraModulePackages = with config.boot.kernelPackages; [ kvmfr ];
     boot.kernelModules = [ "kvmfr" ];
     boot.extraModprobeConfig = ''
@@ -57,8 +59,6 @@
             "/dev/random", "/dev/urandom",
             "/dev/ptmx", "/dev/kvm",
             "/dev/rtc","/dev/hpet",
-            "/dev/input/by-id/[some_mouse_device]-event-mouse",
-            "/dev/input/by-id/[some_keyboard_device]-event-kbd"
         ]
     '';
     services.udev.extraRules = ''
@@ -66,6 +66,11 @@
     '';
     environment.systemPackages = with pkgs; [ looking-glass-client ];
   };
+  services.udev.extraRules = ''
+    SUBSYSTEM=="usb", ATTRS{idVendor}=="2e3c", ATTRS{idProduct}=="df11", TAG+="uaccess"
+    SUBSYSTEM=="usb", ATTRS{idVendor}=="0483", ATTRS{idProduct}=="df11", TAG+="uaccess"
+  '';
+   
 
   networking.dhcpcd.enable = false;
   systemd.network.enable = true;
@@ -82,8 +87,6 @@
 
   mods.touchpad.enable = true;
 
-#  programs.gamescope.capSysNice = true;
-
   mods.powerSave = {
     enable = true;
     powahCommandAdditions = [
@@ -125,7 +128,7 @@
   mods.nvidia.prime = true;
 
 
-  services.usbmuxd.enable = true; #hangs when shutting down
+  services.usbmuxd.enable = true; #sometimes hangs when shutting down
 
 #  boot.plymouth = {
 #    enable = true;
@@ -138,13 +141,5 @@
   services.flatpak.enable = true;
 
 
-  services.dnsmasq.enable = true;
-  services.dnsmasq.settings = {
-	  "dhcp-range" = ["192.168.1.150,192.168.1.250"];
-	  "dhcp-option" = [
-	    "3,192.168.1.254"
-	    "6,1.1.1.1,8.8.8.8,8.8.4.4"
-	  ];
-	  "interface" = "enp4s0f4u1";
-	};
+  services.k3s.enable = true;
 }

osConfigs/hosts/server.nix

@@ -6,7 +6,7 @@
 #    By: tomoron <tomoron@student.42angouleme.fr>   +#+  +:+       +#+         #
 #                                                 +#+#+#+#+#+   +#+            #
 #    Created: 2025/09/06 00:57:09 by tomoron           #+#    #+#              #
-#    Updated: 2025/12/16 20:00:04 by tomoron          ###   ########.fr        #
+#    Updated: 2026/01/27 18:56:23 by tomoron          ###   ########.fr        #
 #                                                                              #
 # **************************************************************************** #
 
@@ -20,6 +20,7 @@ let
     8083 137 138 139 445 548 3702 5357 #prob some samba shit
     24454 #minecraft voice chat
     25565 # minecraft server
+	9091 # transmission web interface
   ];
   portRanges = [
     {from = 47950; to = 49000;} #moonlight (wolf)