configure haskell lsp and agda input
This commit is contained in:
parent
4f65cde626
commit
3cd018123f
|
@ -14,6 +14,11 @@ let username = "rachel";
|
||||||
mv "$downloadedFile" "$out/share/fonts/truetype/SAX2.ttf"
|
mv "$downloadedFile" "$out/share/fonts/truetype/SAX2.ttf"
|
||||||
'';
|
'';
|
||||||
};
|
};
|
||||||
|
hpkgs = pkgs.haskellPackages;
|
||||||
|
hls_wrapper = pkgs.writeScript "hls" ''
|
||||||
|
export PATH="${hpkgs.haskell-language-server}/bin:$PATH"
|
||||||
|
exec ${hpkgs.haskell-language-server}/bin/haskell-language-server-wrapper "$@"
|
||||||
|
'';
|
||||||
in
|
in
|
||||||
{
|
{
|
||||||
home = {
|
home = {
|
||||||
|
@ -34,7 +39,7 @@ in
|
||||||
acpi
|
acpi
|
||||||
julia-bin
|
julia-bin
|
||||||
python3
|
python3
|
||||||
ghc
|
hpkgs.ghc
|
||||||
firefox
|
firefox
|
||||||
sxiv
|
sxiv
|
||||||
zathura
|
zathura
|
||||||
|
@ -183,17 +188,36 @@ in
|
||||||
extraLuaConfig = ''
|
extraLuaConfig = ''
|
||||||
require("tmux").setup({ copy_sync = { redirect_to_clipboard = true } });
|
require("tmux").setup({ copy_sync = { redirect_to_clipboard = true } });
|
||||||
require('Comment').setup()
|
require('Comment').setup()
|
||||||
|
local lspcfg = require('lspconfig')
|
||||||
|
lspcfg.typst_lsp.setup({
|
||||||
|
cmd = { '${pkgs.typst-lsp}/bin/typst-lsp' }
|
||||||
|
})
|
||||||
|
lspcfg.hls.setup({
|
||||||
|
cmd = { '${hls_wrapper}', 'lsp' }
|
||||||
|
})
|
||||||
|
lspcfg.pyright.setup({
|
||||||
|
cmd = { '${pkgs.nodePackages.pyright}/bin/pyright-langserver', '--stdio' }
|
||||||
|
})
|
||||||
|
|
||||||
|
vim.api.nvim_create_autocmd('LspAttach', {
|
||||||
|
callback = function(args)
|
||||||
|
vim.keymap.set('n', 'K', vim.lsp.buf.hover, { buffer = args.buf })
|
||||||
|
end,
|
||||||
|
})
|
||||||
'';
|
'';
|
||||||
extraConfig = ''
|
extraConfig = ''
|
||||||
set rnu nu
|
set rnu nu
|
||||||
set ts=2 sw=2 expandtab
|
set ts=2 sw=2 expandtab
|
||||||
set clipboard=unnamedplus
|
set clipboard=unnamedplus
|
||||||
set laststatus=3 noshowmode
|
set laststatus=3 noshowmode
|
||||||
|
set signcolumn=no
|
||||||
let g:cornelis_use_global_binary = 1
|
let g:cornelis_use_global_binary = 1
|
||||||
let g:lightline = { 'colorscheme': 'gruvbox' }
|
let g:lightline = { 'colorscheme': 'gruvbox' }
|
||||||
colorscheme gruvbox
|
colorscheme gruvbox
|
||||||
hi Normal guibg=NONE ctermbg=NONE
|
hi Normal guibg=NONE ctermbg=NONE
|
||||||
|
|
||||||
|
runtime agda-input.vim
|
||||||
|
|
||||||
au BufRead,BufNewFile *.agda call AgdaFiletype()
|
au BufRead,BufNewFile *.agda call AgdaFiletype()
|
||||||
au BufRead,BufNewFile *.lagda.* call AgdaFiletype()
|
au BufRead,BufNewFile *.lagda.* call AgdaFiletype()
|
||||||
function! AgdaFiletype()
|
function! AgdaFiletype()
|
||||||
|
@ -221,6 +245,7 @@ in
|
||||||
lightline-gruvbox-vim
|
lightline-gruvbox-vim
|
||||||
tmux-nvim
|
tmux-nvim
|
||||||
cornelis-vim
|
cornelis-vim
|
||||||
|
nvim-lspconfig
|
||||||
];
|
];
|
||||||
};
|
};
|
||||||
|
|
||||||
|
@ -324,7 +349,7 @@ in
|
||||||
read -p "Name? " -r n
|
read -p "Name? " -r n
|
||||||
${pkgs.tmux}/bin/tmux new -s "$n" ;;
|
${pkgs.tmux}/bin/tmux new -s "$n" ;;
|
||||||
"Raw Shell")
|
"Raw Shell")
|
||||||
${pkgs.bash}/bin/bash ;;
|
${pkgs.bash}/bin/bash --login ;;
|
||||||
*)
|
*)
|
||||||
${pkgs.tmux}/bin/tmux attach-session -t "''${c%%:*}" ;;
|
${pkgs.tmux}/bin/tmux attach-session -t "''${c%%:*}" ;;
|
||||||
esac
|
esac
|
||||||
|
|
Loading…
Reference in New Issue
Block a user