improving dotfiles

2 files changed, 283 insertions, 0 deletions

diff --git a/nvim/.config/nvim/init.vim b/nvim/.config/nvim/init.vim
new file mode 100644
index 0000000..f58d9ef
--- /dev/null
+++ b/nvim/.config/nvim/init.vim
@@ -0,0 +1,282 @@
+" Miguel's Fresh Neovim Config
+" 29th Apr 2021 - now
+"
+" link ./init.vim <- ~/.config/nvim/init.vim
+" link ./plugin/  <- ~/.config/nvim/plugin/
+" 1. install vim-plug
+" 2. run :PlugUpdate
+" 3. run :checkhealth
+
+" TODO
+" explore nvim 0.5+ native lsp-client
+" explore tree-sitter parser generator
+" watch youtube: ThePrimeagen / GregHurrell
+" consider nvim-telescope/telescope plugin
+
+" {{{ vim-plug
+call plug#begin('~/.vim/plugged')
+
+Plug 'tpope/vim-sensible'
+Plug 'tpope/vim-commentary'
+Plug 'tpope/vim-surround'
+Plug 'tpope/vim-unimpaired'
+Plug 'tpope/vim-vinegar'
+Plug 'tpope/vim-fugitive'
+Plug 'tpope/vim-dispatch'
+
+Plug 'junegunn/fzf',                   { 'do': { -> fzf#install() }                }
+Plug 'junegunn/fzf.vim'
+
+Plug 'airblade/vim-gitgutter'
+Plug 'nelstrom/vim-visual-star-search'
+Plug 'majutsushi/tagbar'
+
+Plug 'Shougo/deoplete.nvim', { 'do': ':UpdateRemotePlugins' }
+
+Plug 'autozimu/LanguageClient-neovim', { 'branch': 'next', 'do': 'bash install.sh' }
+
+Plug 'vim-airline/vim-airline'
+Plug 'vim-airline/vim-airline-themes'
+
+Plug 'christoomey/vim-tmux-navigator'
+
+" Plug 'rafi/awesome-vim-colorschemes'
+Plug 'jnurmine/Zenburn' " try gruvbox-community/gruvbox?
+
+Plug 'mbbill/undotree'
+
+" haskell related
+Plug 'neovimhaskell/haskell-vim'
+Plug 'alx741/vim-stylishask'
+Plug 'ndmitchell/ghcid', { 'rtp': 'plugins/nvim' }
+
+" agda
+Plug 'derekelkins/agda-vim' " requires python2 / pip2 :(
+" try language-server as well
+
+call plug#end()
+" }}}
+
+" 256 colorscheme
+colorscheme zenburn
+
+" {{{ misc
+set nocompatible
+" set cursorcolumn
+set cursorline
+set foldmethod=marker
+set nowrap
+set showcmd
+set number
+set relativenumber
+set hidden
+set colorcolumn=80
+set backspace=2
+" }}}
+
+set noswapfile
+set nobackup
+set undofile
+set undodir=~/.vim/undodir
+
+" set guicursor=
+set noerrorbells
+
+" disable preview window on autocompletion
+set completeopt-=preview
+
+set updatetime=300
+set signcolumn=yes
+
+set mouse=a
+
+syntax on
+
+" detect type and autoload plugin and indent files
+filetype plugin indent on
+
+let g:deoplete#enable_at_startup = 1
+
+let g:airline_theme='wombat'
+let g:airline_powerline_fonts = 1
+
+nnoremap <F5> :call LanguageClient_contextMenu()<CR>
+let g:LanguageClient_serverCommands = { 'haskell': ['haskell-language-server-wrapper', '--lsp'] }
+let g:LanguageClient_codeLensDisplay = { "virtualTexthl": "SpellRare" }
+let g:LanguageClient_diagnosticsDisplay =
+\    {
+\        1: {
+\            "name": "Error",
+\            "texthl": "LanguageClientError",
+\            "signText": "x",
+\            "signTexthl": "LanguageClientErrorSign",
+\            "virtualTexthl": "SpellRare",
+\        },
+\        2: {
+\            "name": "Warning",
+\            "texthl": "LanguageClientError",
+\            "signText": "!",
+\            "signTexthl": "LanguageClientWarningSign",
+\            "virtualTexthl": "SpellRare",
+\        },
+\        3: {
+\            "name": "Information",
+\            "texthl": "LanguageClientError",
+\            "signText": "i",
+\            "signTexthl": "LanguageClientInfoSign",
+\            "virtualTexthl": "SpellRare",
+\        },
+\        4: {
+\            "name": "Hint",
+\            "texthl": "LanguageClientError",
+\            "signText": ">",
+\            "signTexthl": "LanguageClientInfoSign",
+\            "virtualTexthl": "SpellRare",
+\        },
+\    }
+
+
+let g:haskell_enable_quantification = 1   " to enable highlighting of `forall`
+let g:haskell_enable_recursivedo = 1      " to enable highlighting of `mdo` and `rec`
+let g:haskell_enable_arrowsyntax = 1      " to enable highlighting of `proc`
+let g:haskell_enable_pattern_synonyms = 1 " to enable highlighting of `pattern`
+let g:haskell_enable_typeroles = 1        " to enable highlighting of type roles
+let g:haskell_enable_static_pointers = 1  " to enable highlighting of `static`
+let g:haskell_backpack = 1                " to enable highlighting of backpack keywords
+
+" {{{ tabs
+set listchars=tab:>.,trail:~
+set list
+set tabstop=8
+set softtabstop=4
+set expandtab
+set shiftwidth=4
+set shiftround
+" }}}
+
+" {{{ folding
+set foldcolumn=5
+set foldlevelstart=0
+" }}}
+
+" {{{ search
+set hlsearch
+set incsearch
+set ignorecase
+set smartcase
+" }}}
+set scrolloff=8
+
+" {{{ match brackets
+set showmatch
+set matchtime=5
+" }}}
+
+" {{{ KEY BINDINGS
+" mapleader
+" use <space> but remap to _ so it is visible for 'showcmd'
+nmap <space> _
+let mapleader="\_"
+let maplocalleader="\_"
+
+" get rid of bad habits. (might break other stuff eg. in cygwin)
+" inoremap <esc> <nop>
+" inoremap <Up> <nop>
+" inoremap <Down> <nop>
+" inoremap <Left> <nop>
+" inoremap <Right> <nop>
+
+" activate 'very magic' for searches automatically
+nnoremap / /\v
+nnoremap ? ?\v
+
+" alt esc
+inoremap jk <esc>
+cnoremap jk <esc>
+
+" easy editing and sourcing of vimrc
+" nnoremap <leader>sv :source $MYVIMRC<cr>
+nnoremap <leader>ev :e $MYVIMRC<cr>
+
+" turn off search highlight
+nnoremap <leader>h :nohlsearch<cr>
+
+" layout
+"nnoremap <leader>ln :NERDTreeToggle<cr>
+
+" silver search
+"noremap <leader>a :Ack!<Space>
+
+" show list if multiple ctrl-] matches
+nnoremap <C-]> g<C-]>
+
+augroup filetype_haskell
+    autocmd!
+    autocmd Filetype haskell nnoremap <buffer> <C-]>     :call LanguageClient#textDocument_definition()<CR>
+    autocmd Filetype haskell nnoremap <buffer> <leader>i :call LanguageClient#textDocument_hover()<CR>
+    autocmd Filetype haskell nnoremap <buffer> <leader>x :call LanguageClient#explainErrorAtPoint()<CR>
+    autocmd Filetype haskell setlocal softtabstop=2
+    autocmd Filetype haskell setlocal shiftwidth=2
+augroup END
+
+" ctrl-space auto complete in insert mode
+inoremap <C-Space> <C-N>
+
+" FZF settings
+nmap <leader>f :Files<cr>|     " fuzzy find files in the working directory (where you launched Vim from)
+nmap <leader>/ :BLines<cr>|    " fuzzy find lines in the current file
+nmap <leader>b :Buffers<cr>|   " fuzzy find an open buffer
+nmap <leader>a :Rg |           " fuzzy find text in the working directory
+nmap <leader>c :Commands<cr>|  " fuzzy find Vim commands (like Ctrl-Shift-P in Sublime/Atom/VSC)
+nmap <leader>t :Tags<cr>|      " fuzzy find tags
+
+nmap <leader>q :call setqflist(filter(getqflist(),"v:val['type'] == 'E'"))<CR>
+" }}}
+
+" write current file as superuser
+cmap w!! w !sudo tee % > /dev/null
+
+let g:fzf_layout = { 'down': '~40%' }
+
+let g:tagbar_type_haskell = {
+    \ 'ctagsbin'    : 'hasktags',
+    \ 'ctagsargs'   : '-x -c -o-',
+    \ 'kinds'       : [
+        \  'm:modules:0:1',
+        \  'd:data:0:1',
+        \  'd_gadt:data gadt:0:1',
+        \  'nt:newtype:0:1',
+        \  'c:classes:0:1',
+        \  'i:instances:0:1',
+        \  'cons:constructors:0:1',
+        \  'c_gadt:constructor gadt:0:1',
+        \  'c_a:constructor accessors:1:1',
+        \  't:type names:0:1',
+        \  'pt:pattern types:0:1',
+        \  'pi:pattern implementations:0:1',
+        \  'ft:function types:0:1',
+        \  'fi:function implementations:0:1',
+        \  'o:others:0:1'
+    \ ],
+    \ 'sro'          : '.',
+    \ 'kind2scope'   : {
+        \ 'm'        : 'module',
+        \ 'd'        : 'data',
+        \ 'd_gadt'   : 'd_gadt',
+        \ 'c_gadt'   : 'c_gadt',
+        \ 'nt'       : 'newtype',
+        \ 'cons'     : 'cons',
+        \ 'c_a'      : 'accessor',
+        \ 'c'        : 'class',
+        \ 'i'        : 'instance'
+    \ },
+    \ 'scope2kind'   : {
+        \ 'module'   : 'm',
+        \ 'data'     : 'd',
+        \ 'newtype'  : 'nt',
+        \ 'cons'     : 'c_a',
+        \ 'd_gadt'   : 'c_gadt',
+        \ 'class'    : 'ft',
+        \ 'instance' : 'ft'
+    \ }
+\ }
diff --git a/nvim/.config/nvim/plugin/test.vim b/nvim/.config/nvim/plugin/test.vim
new file mode 100644
index 0000000..09990d4
--- /dev/null
+++ b/nvim/.config/nvim/plugin/test.vim
@@ -0,0 +1 @@
+echo "hello"