2022-07-25 04:22:53 +02:00
|
|
|
local set = vim.opt
|
2022-07-26 16:00:06 +02:00
|
|
|
|
2022-07-25 04:22:53 +02:00
|
|
|
set.nu = true
|
|
|
|
|
set.tabstop = 2
|
|
|
|
|
set.shiftwidth = 2
|
|
|
|
|
set.hlsearch = false
|
|
|
|
|
set.incsearch = true
|
|
|
|
|
set.smartindent = true
|
|
|
|
|
set.wrap = false
|
2022-07-26 16:00:06 +02:00
|
|
|
set.encoding = 'utf-8'
|
|
|
|
|
set.guifont = 'Iosevka Nerd Font Mono 14'
|
2022-07-25 04:22:53 +02:00
|
|
|
|
2022-08-06 19:33:26 +02:00
|
|
|
vim.cmd([[
|
|
|
|
|
set rtp^="home/rf/.opam/default/share/ocp-indent/vim"
|
|
|
|
|
]])
|
|
|
|
|
|
2022-07-25 04:22:53 +02:00
|
|
|
-- Lower update time the better (ms)
|
|
|
|
|
set.updatetime = 50
|
