Merge branch 'main' of git.clustercockpit.org:moebiusband/dotfiles

This commit is contained in:
Jan Eitzinger 2023-10-13 21:56:48 +02:00
commit c164fc0ab0
2 changed files with 4 additions and 1 deletions

View File

@ -85,6 +85,9 @@ vim.api.nvim_create_autocmd('BufWritePre', {
require("lsp-format").setup { require("lsp-format").setup {
html = { html = {
exclude = { "html" } exclude = { "html" }
},
svelte = {
exclude = { "svelte" }
} }
} }

View File

@ -45,7 +45,7 @@ ProxyJump cshpc
Host monitoring-test Host monitoring-test
Hostname monitoring-test.nhr.fau.de Hostname monitoring-test.nhr.fau.de
ForwardAgent no ForwardAgent no
User jan User unrz254
ProxyJump cshpc ProxyJump cshpc
Host gondor Host gondor