disable hugepages in vfio_ready specialisation, add pythonlsp and coq-nvim for autocompletion

homeConfigs/modules/vim.nix

@@ -20,13 +20,43 @@
       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')
+
+    '';
+
     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 +92,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 +110,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/22 22:07:00 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

osConfigs/global/ld.nix

@@ -6,7 +6,7 @@
 #    By: tomoron <tomoron@student.42angouleme.fr>   +#+  +:+       +#+         #
 #                                                 +#+#+#+#+#+   +#+            #
 #    Created: 2025/12/30 20:37:07 by tomoron           #+#    #+#              #
-#    Updated: 2026/01/19 12:02:07 by tomoron          ###   ########.fr        #
+#    Updated: 2026/02/05 12:47:23 by tomoron          ###   ########.fr        #
 #                                                                              #
 # **************************************************************************** #
 
@@ -154,5 +154,7 @@
       fuse
       e2fsprogs
 
+      webkitgtk_4_1
+	  libsoup_3
 	];
 }

osConfigs/hosts/laptop.nix

@@ -6,7 +6,7 @@
 #    By: tomoron <tomoron@student.42angouleme.fr>   +#+  +:+       +#+         #
 #                                                 +#+#+#+#+#+   +#+            #
 #    Created: 2025/09/06 00:56:57 by tomoron           #+#    #+#              #
-#    Updated: 2026/01/29 13:16:59 by tomoron          ###   ########.fr        #
+#    Updated: 2026/02/03 14:40:35 by tomoron          ###   ########.fr        #
 #                                                                              #
 # **************************************************************************** #
 
@@ -47,7 +47,6 @@
   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 = ''
@@ -141,4 +140,6 @@
 
   services.flatpak.enable = true;
 
+
+  services.k3s.enable = true;
 }