A bunch of cleanup

nix/base-system/flake.nix

@@ -148,7 +148,7 @@ EOF";
             # on darwin and add it as an overlay
             python310
             python310Packages.pip
-            python310Packages.vritualenv
+            python310Packages.virtualenv
             emacs
             git
             mercurial
@@ -184,6 +184,8 @@ EOF";
             plantuml-c4
             texlive.combined.scheme-basic
             nssTools
+            packer
+            nomad
             mkcert
             octave
             kubo

nix/base-system/init.lua

@@ -271,10 +271,6 @@ set signcolumn=yes
 autocmd CursorHold * lua vim.diagnostic.open_float(nil, { focusable = false })
 ]])
 
-vim.cmd([[
-let g:coq_settings = { 'auto_start': 'shut-up', 'display.icons.mode': "none" }
-]])
-
 --Set completeopt to have a better completion experience
 -- :help completeopt
 -- menuone: popup even when there's only one match
@@ -285,7 +281,7 @@ let g:coq_settings = { 'auto_start': 'shut-up', 'display.icons.mode': "none" }
 vim.opt.completeopt = {'menuone', 'noselect', 'noinsert'}
 vim.opt.shortmess = vim.opt.shortmess + { c = true}
 vim.api.nvim_set_option('updatetime', 300)
-vim.opt.sessionoptions = {'buffers', 'curdir', 'localoptions', 'options', 'terminal' }
+vim.opt.sessionoptions = {'buffers', 'curdir', 'skiprtp', 'localoptions', 'terminal', 'tabpages' }
 -- Fixed column for diagnostics to appear
 -- Show autodiagnostic popup on cursor hover_range
 -- Goto previous / next diagnostic warning / error 

nix/darwin/darwin-configuration.nix

@@ -1,4 +1,4 @@
-{ config, pkgs, ... }:
+{ pkgs, ... }:
 {
 
   nix = {