Skip to content

Instantly share code, notes, and snippets.

@redduck3
redduck3 / init.lua
Created March 30, 2023 07:44
NeoVIM + LSP + coq + copilot
vim.cmd('set mouse=nicr')
require('packer').startup(function(use)
use 'wbthomason/packer.nvim' -- Package manager
use 'vim-airline/vim-airline'
use 'tpope/vim-fugitive'
use 'tpope/vim-sensible'
use 'tpope/vim-surround'
use 'tpope/vim-sleuth'
use 'neovim/nvim-lspconfig' -- Configurations for Nvim LSP
use {'ms-jpq/coq_nvim', branch = 'coq', run = 'python3 -m coq deps'}
@redduck3
redduck3 / taobao-pyenv-install-3.6.9.sh
Last active January 11, 2023 04:54
pyenv install from mirror servers
export v=3.6.9 && wget https://npm.taobao.org/mirrors/python/$v/Python-$v.tar.xz -P ~/.pyenv/cache/ && pyenv install $v