dev: automation to update inputs

Makefile

@@ -9,3 +9,6 @@ update-quint:
 	#sed -e 's#inherit nodeEnv;#inherit nodeEnv quint-src;#' -e 's/, system/, quint-src, system/' -i '' nix/packages/quint/default.nix
 	#sed -e 's#src = \./\.#src = "$${quint-src}/quint"#' -e 's#nodeEnv, #quint-src, nodeEnv, #' -i '' nix/packages/quint/node-packages.nix
 	#rm -f nix/packages/quint/package*.json
+
+update-input-%:
+	nix flake lock --update-input $* ./nix/base-system/

nix/base-system/init.lua

@@ -28,6 +28,17 @@ vim.cmd("noswapfile")
 vim.cmd("syntax on")
 vim.cmd("filetype plugin on")
 
+vim.api.nvim_create_autocmd({"BufEnter", "BufWinEnter"}, {
+  pattern = {"*.qnt"},
+  callback = function(args)
+        vim.lsp.start({
+            name = 'quint',
+            cmd = {'quint-language-server', '--stdio'},
+            root_dir = vim.fs.dirname(vim.uri_from_bufnr(args.buf))
+        })
+  end,
+})
+
 vim.cmd([[
 au BufNewFile,BufRead *Makefile,*.mk set noexpandtab
 ]])

nix/base-system/modules/darwin-monitor.nix

@@ -15,8 +15,8 @@ let
                     -- \
                     ${pkgs.durnitisp}/bin/durnitisp \
                     --listenHost=${config.services.durnitisp.listen} \
-                    --stunHosts=stun.ekiga.net:3478,stun.schlund.de:3478,stun.voipbuster.com:3478,stun.voipstunt.com:3478,stun.xten.com:3478" \
-                    --pingHosts=google.com,prod.actual.battle.net"
+                    --stunHosts="stun.ekiga.net:3478,stun.schlund.de:3478,stun.voipbuster.com:3478,stun.voipstunt.com:3478,stun.xten.com:3478" \
+                    --pingHosts="google.com,prod.actual.battle.net"
     '';
 in
 {