Compare commits
3 Commits
19fc6838cd
...
d7d27a5520
Author | SHA1 | Date | |
---|---|---|---|
d7d27a5520 | |||
84050af38f | |||
53268a04d7 |
3
Makefile
3
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#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
|
#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
|
#rm -f nix/packages/quint/package*.json
|
||||||
|
|
||||||
|
update-input-%:
|
||||||
|
nix flake lock --update-input $* ./nix/base-system/
|
||||||
|
@ -28,6 +28,17 @@ vim.cmd("noswapfile")
|
|||||||
vim.cmd("syntax on")
|
vim.cmd("syntax on")
|
||||||
vim.cmd("filetype plugin 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([[
|
vim.cmd([[
|
||||||
au BufNewFile,BufRead *Makefile,*.mk set noexpandtab
|
au BufNewFile,BufRead *Makefile,*.mk set noexpandtab
|
||||||
]])
|
]])
|
||||||
|
@ -15,8 +15,8 @@ let
|
|||||||
-- \
|
-- \
|
||||||
${pkgs.durnitisp}/bin/durnitisp \
|
${pkgs.durnitisp}/bin/durnitisp \
|
||||||
--listenHost=${config.services.durnitisp.listen} \
|
--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" \
|
--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"
|
--pingHosts="google.com,prod.actual.battle.net"
|
||||||
'';
|
'';
|
||||||
in
|
in
|
||||||
{
|
{
|
||||||
|
Loading…
x
Reference in New Issue
Block a user