https://github.com/zmactep/neovim-config
My NeoVim configuration
https://github.com/zmactep/neovim-config
Last synced: 5 months ago
JSON representation
My NeoVim configuration
- Host: GitHub
- URL: https://github.com/zmactep/neovim-config
- Owner: zmactep
- Created: 2018-05-07T11:34:04.000Z (about 8 years ago)
- Default Branch: master
- Last Pushed: 2019-03-08T09:00:47.000Z (over 7 years ago)
- Last Synced: 2025-04-04T09:21:24.334Z (about 1 year ago)
- Language: Vim script
- Size: 3.91 KB
- Stars: 0
- Watchers: 0
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
README
My NVIM config
==============
Here is my [NeoVim](https://neovim.io) configuration for Haskell/Lean/Z3 development.
Prerequires
-----------
Install:
* [haskell-ide-engine](https://github.com/haskell/haskell-ide-engine)
* [brittany](https://github.com/lspitzner/brittany)
* [the_silver_searcher](https://github.com/ggreer/the_silver_searcher)
* [python3](https://www.python.org)
* [z3](https://github.com/Z3Prover/z3)
* [rust](https://rustup.rs) with [rls](https://github.com/rust-lang-nursery/rls)
Then install python3 `neovim` package:
```bash
pip3 install neovim
```
After that install [vim-plug](https://github.com/junegunn/vim-plug) by:
```bash
curl -fLo ~/.local/share/nvim/site/autoload/plug.vim --create-dirs https://raw.githubusercontent.com/junegunn/vim-plug/master/plug.vim
```
Install
-------
Make new configuration directory and clone a repo.
```bash
export NVIM_CONFIG=~/.config/nvim
mkdir $NVIM_CONFIG
cd $NV_CONFIG
git clone https://github.com/zmactep/neovim-config.git .
```
Install all plugins to neovim:
```bash
nvim --headless +PlugInstall +q
```