Update

ab

.gitignore

@@ -3,3 +3,4 @@ plugin/
 spell/
 ./mail_password
 ./lua/irc.lua
+./lazy-lock.json

UltiSnips/ada.snippets

@@ -95,7 +95,7 @@ else:
 for variable in variables:
 	if not variable == "" and not variable.startswith("typ"):
 		variableless = variable.replace("\t", "").replace ("    ", "")
-		snip.rv += f"-- @variable {variableless}\n"
+		snip.rv += f"\t-- @variable {variableless}\n"
 `--  @description $4
 procedure ${1:`!p snip.rv = fn.split('.')[0].capitalize()`} `!p snip.rv = "" if t[2] == "" else "("`${2:N : Natural}`!p snip.rv = "" if t[2] == "" else ")"` is
 	$3
@@ -129,7 +129,7 @@ for parameter in parameters:
 for parameter in parameter_list:
 	if not parameter == "" and not parameter.startswith("typ"):
 		parameterless = parameter.replace("\t", "")
-		snip.rv += f"--  @parameter {parameterless}\n"
+		snip.rv += f"\t--  @parameter {parameterless}\n"
 ``!p
 snip.rv = ""
 if t[4].startswith("l"):
@@ -139,7 +139,7 @@ else:
 for variable in variables:
 	if not variable == "" and not variable.startswith("typ") and not variable.startswith("--"):
 		variableless = variable.replace("\t", "").replace ("    ", "")
-		snip.rv += f"--  @variable {variableless}\n"
+		snip.rv += f"\t--  @variable {variableless}\n"
 `	-- @description $5
 function ${1:`!p snip.rv = fn.split('.')[0].capitalize()`} `!p snip.rv = "" if t[2] == "" else "("`${2:N : Natural}`!p snip.rv = "" if t[2] == "" else ")"` return ${3:Natural} is
 	$4
@@ -187,7 +187,8 @@ if t[6] == "y":
 endsnippet
 
 snippet package "Create package configuration" b
-package ${1:body }${2:`!p snip.rv = fn.split('.')[0]`} is
+package ${1:body }${2:`!p package_name = fn.split('.')[0]
+snip.rv = package_name[0].upper() + package_name[1:]`} is
 	$0
 end $2;
 endsnippet

UltiSnips/all.snippets

@@ -10,6 +10,42 @@ snippet credhsrm "Credentials HSRM"
 Yannick Reiß <yannick.reiss@student.hs-rm.de>
 endsnippet
 
+global !p
+
+from datetime import datetime
+
+def get_datetime():
+	now = datetime.now()
+	now_as_list = [
+		now.strftime("%d"),
+		now.strftime("%m"),
+		now.strftime("%Y"),
+		now.strftime("%H"),
+		now.strftime("%M")
+		]
+	return now_as_list
+
+def complete(t, opts):
+	if t:
+		opts = [ m[len(t):] for m in opts if m.startswith(t) ]
+	if len(opts) == 1:
+		return opts[0]
+	else:
+		return "(" + '|'.join(opts) + ")"
+
+endglobal
+
+snippet mail "Template for a new delayed Mail" b
+time:${1:`!p snip.rv = get_datetime()[0]`}.${2:`!p snip.rv = get_datetime()[1]`}.${3:`!p snip.rv = get_datetime()[2]`} ${4:`!p snip.rv = get_datetime()[3]`}:${5:`!p snip.rv = get_datetime()[4]`}
+from:$6`!p snip.rv = complete(t[6], ['yannick.reiss@nickr.eu', 'schnick@nickr.eu'])`
+to:${7:schnick@nickr.eu}
+subject:${8:Subject}
+
+${9:Message}
+
+${10:`cat ~/.signature.txt`}
+endsnippet
+
 snippet crednina "My true credentials"
 Nina Chloé Kassandra Reiß <nina.reiss@nickr.eu>
 endsnippet

UltiSnips/lean.snippets

@@ -0,0 +1,37 @@
+snippet ß "Backslash" A
+\\
+endsnippet
+
+snippet <> "Add sharp brackets"
+⟨$1⟩$0
+endsnippet
+
+snippet | "dvd"
+∣
+endsnippet
+
+snippet () "Braces"
+($1)$0
+endsnippet
+
+# Mengen
+snippet N "Natural number"
+ℕ
+endsnippet
+
+snippet Z "Whole numbers"
+ℤ
+endsnippet
+
+snippet R "Real"
+ℝ
+endsnippet
+
+# Quantoren
+snippet E "Exists"
+∃
+endsnippet
+
+snippet A "All"
+∀
+endsnippet

UltiSnips/markdown.snippets

@@ -52,3 +52,17 @@ endsnippet
 snippet ,m "Math equation" A
 \$$1\$ $0
 endsnippet
+
+snippet bookshelf "Tagline for bookshelf" b
+`!p
+if t[1] != "":
+	snip.rv = "[CW: "
+else:
+	snip.rv = ""`$1`!p
+if t[1] != "":
+	snip.rv = "]"
+else:
+	snip.rv = ""`
+${2:Title} by ${3:Author}
+${4:Description}
+endsnippet

UltiSnips/python.snippets

@@ -11,7 +11,7 @@ if __name__ == "__main__":
 $0
 endsnippet
 
-snippet docmodule "Documentation for modules" A
+snippet docmodule "Documentation for modules"
 """
 File: `!p snip.rv = fn`
 Author: ${1:Yannick Reiß}
@@ -21,7 +21,7 @@ Description: ${2:No further description}
 $0
 endsnippet
 
-snippet def "Python Function" A
+snippet def "Python Function"
 def ${1:function}(${2}):
 	"""
 	@name $1
@@ -35,12 +35,12 @@ for param in params:
 	snip.rv += f"\t\t@param {param}\n"
 `
 	Returns:
-		$4
+		@return $4
 	"""
 	$5
 	`!p
-if t[4] != "":
-	snip.rv = f"\n    return {t[4]}"`
+if t[4] != "" and len(t[4].split(":")) > 1:
+	snip.rv = f"return {t[4].split(':')[0]}"`
 
 $0
 endsnippet

UltiSnips/verilog.snippets

@@ -61,3 +61,7 @@ snippet def "Definition/Constant" b
 \`define ${1:NAME} ${2:VALUE}
 $0
 endsnippet
+
+snippet filename "Get Filename" b
+// `pwd`/`!p snip.rv = fn`
+endsnippet

lazy-lock.json

@@ -1,51 +0,0 @@
-{
-  "UltiSnips": { "branch": "master", "commit": "49dc8cb2086db19d385791c8e1635723b0fd95c7" },
-  "barbar.nvim": { "branch": "master", "commit": "3c48b5edf61dda21ad41c514e53448fee366a824" },
-  "bufstop": { "branch": "master", "commit": "274fc0e9fd6e8de860c427860c1e9970df142df5" },
-  "cmp-buffer": { "branch": "main", "commit": "3022dbc9166796b644a841a02de8dd1cc1d311fa" },
-  "cmp-calc": { "branch": "main", "commit": "ce91d14d2e7a8b3f6ad86d85e34d41c1ae6268d9" },
-  "cmp-cmdline": { "branch": "main", "commit": "8ee981b4a91f536f52add291594e89fb6645e451" },
-  "cmp-cmdline-history": { "branch": "master", "commit": "003573b72d4635ce636234a826fa8c4ba2895ffe" },
-  "cmp-fuzzy-buffer": { "branch": "main", "commit": "ada6352bc7e3c32471ab6c08f954001870329de1" },
-  "cmp-git": { "branch": "main", "commit": "8d8993680d627c8f13bd85094eba84604107dbdd" },
-  "cmp-nvim-lsp": { "branch": "main", "commit": "5af77f54de1b16c34b23cba810150689a3a90312" },
-  "cmp-nvim-lsp-signature-help": { "branch": "main", "commit": "3d8912ebeb56e5ae08ef0906e3a54de1c66b92f1" },
-  "cmp-nvim-lua": { "branch": "main", "commit": "f12408bdb54c39c23e67cab726264c10db33ada8" },
-  "cmp-nvim-ultisnips": { "branch": "main", "commit": "24bca5c3e137b28cd87442d4fc51a2b312dd99cc" },
-  "cmp-path": { "branch": "main", "commit": "91ff86cd9c29299a64f968ebb45846c485725f23" },
-  "cmp-spell": { "branch": "master", "commit": "32a0867efa59b43edbb2db67b0871cfad90c9b66" },
-  "cyberspace.vim": { "branch": "master", "commit": "8d002ef6a449f08025d75249078ecae75a136a2d" },
-  "formatter.nvim": { "branch": "master", "commit": "ad246d34ce7a32f752071ed81b09b94e6b127fad" },
-  "fuzzy.nvim": { "branch": "master", "commit": "67a42ad2fa6d5ff41f0ef3cf69bb247410da5d7a" },
-  "git-blame.nvim": { "branch": "master", "commit": "a0282d05adbee80aaf4e2ff35b81b52940b67bed" },
-  "indent-blankline.nvim": { "branch": "master", "commit": "3d08501caef2329aba5121b753e903904088f7e6" },
-  "lazy.nvim": { "branch": "main", "commit": "83493db50a434a4c5c648faf41e2ead80f96e478" },
-  "lexima.vim": { "branch": "master", "commit": "5513d686801993b40c55baa65602f79cd3cf3c77" },
-  "mason-lspconfig.nvim": { "branch": "main", "commit": "82c7cb08ddb836ad938b2708e50085f12a8825d2" },
-  "mason.nvim": { "branch": "main", "commit": "3b5068f0fc565f337d67a2d315d935f574848ee7" },
-  "nerdtree": { "branch": "master", "commit": "f3a4d8eaa8ac10305e3d53851c976756ea9dc8e8" },
-  "nerdtree-git-plugin": { "branch": "master", "commit": "e1fe727127a813095854a5b063c15e955a77eafb" },
-  "nvim-cmp": { "branch": "main", "commit": "04e0ca376d6abdbfc8b52180f8ea236cbfddf782" },
-  "nvim-cmp-lua-latex-symbols": { "branch": "master", "commit": "89345d6e333c700d13748e8a7ee6fe57279b7f88" },
-  "nvim-dap": { "branch": "master", "commit": "c1695e500c7d552a0a19953a9aefcc89178fb1af" },
-  "nvim-doxyscan": { "branch": "master", "commit": "2c266fdb9395d6afa5d7188f8212fd7757193990" },
-  "nvim-lspconfig": { "branch": "master", "commit": "8c1831817d40925d22cd8a555296c44c02fdaaf5" },
-  "nvim-sourcer": { "branch": "main", "commit": "a2f6bc737a63a208d39fcc5c211076ea5aa9f390" },
-  "nvim-treesitter": { "branch": "master", "commit": "2014f8285e306f4c8a896c7d3af53fdd599e5a4f" },
-  "nvim-ts-rainbow": { "branch": "master", "commit": "ef95c15a935f97c65a80e48e12fe72d49aacf9b9" },
-  "nvim-web-devicons": { "branch": "master", "commit": "cb0c967c9723a76ccb1be0cc3a9a10e577d2f6ec" },
-  "plenary.nvim": { "branch": "master", "commit": "f7adfc4b3f4f91aab6caebf42b3682945fbc35be" },
-  "telescope-fzf-native.nvim": { "branch": "main", "commit": "9ef21b2e6bb6ebeaf349a0781745549bbb870d27" },
-  "telescope-ultisnips.nvim": { "branch": "main", "commit": "d1cca4b5aa809a90b7a8caddeb860329d5a8c2ff" },
-  "telescope.nvim": { "branch": "master", "commit": "d90956833d7c27e73c621a61f20b29fdb7122709" },
-  "tokyonight.nvim": { "branch": "main", "commit": "c025baf23b62f044eff1f4ef561c45de636f0e32" },
-  "vim-airline": { "branch": "master", "commit": "d9f42cb46710e31962a9609939ddfeb0685dd779" },
-  "vim-airline-themes": { "branch": "master", "commit": "a9aa25ce323b2dd04a52706f4d1b044f4feb7617" },
-  "vim-devicons": { "branch": "master", "commit": "71f239af28b7214eebb60d4ea5bd040291fb7e33" },
-  "vim-monokai-tasty": { "branch": "master", "commit": "57c67feac63158a232c43aee2f463a994029b699" },
-  "vim-speeddating": { "branch": "master", "commit": "5a36fd29df63ea3f65562bd2bb837be48a5ec90b" },
-  "vim-startify": { "branch": "master", "commit": "4e089dffdad46f3f5593f34362d530e8fe823dcf" },
-  "vim-startuptime": { "branch": "master", "commit": "ac2cccb5be617672add1f4f3c0a55ce99ba34e01" },
-  "vim-surround": { "branch": "master", "commit": "3d188ed2113431cf8dac77be61b842acb64433d9" },
-  "vim-visual-multi": { "branch": "master", "commit": "fe1ec7e430013b83c8c2dee85ae496251b71e253" }
-}

lua/ada_mode.lua

@@ -3,6 +3,41 @@ if vim == nil then
 	local vim = {}
 end
 
+-- @name Prove
+-- @param
+-- @short Run gnatprove
+function Prove()
+	vim.cmd("new")
+	local run_cmd = { "alr gnatprove" }
+	vim.api.nvim_buf_set_lines(0, 0, -1, false, run_cmd)
+	vim.cmd(":%!bash")
+
+	buffer_loaded = true
+end
+
+-- @name Run
+-- @param
+-- @short Run program using alire
+function Run()
+	vim.cmd("new")
+	local run_cmd = { "alr run" }
+	vim.api.nvim_buf_set_lines(0, 0, -1, false, run_cmd)
+	vim.cmd(":%!bash")
+
+	buffer_loaded = true
+end
+
+function Close_Prove()
+	if buffer_loaded then
+		buffer_loaded = false
+		vim.cmd("bd!")
+	end
+end
+
+vim.keymap.set("n", "pp", ":lua Close_Prove()<cr>")
+vim.keymap.set("n", "<leader>pp", ":lua Prove()<cr>")
+vim.keymap.set("n", "<leader>op", ":lua Run()<cr>")
+
 -- @name setup_ada
 -- @param
 -- @short Verify installation of ada tools or install them.
@@ -30,19 +65,3 @@ vim.api.nvim_create_autocmd({ "BufLeave" }, {
 	pattern = { "*.adb", "*.ads" },
 	callback = leave_ada,
 })
-
--- @name format_file
--- @param
--- @short Run gnatpp as formatter on the current file.
-local function format_file()
-	vim.cmd("checktime %")
-	local write_cmd = "gnatpp " .. vim.api.nvim_buf_get_name(0)
-	os.execute(write_cmd)
-	vim.cmd("checktime %")
-end
-
--- Add formatter command
-vim.api.nvim_create_autocmd({ "BufWritePost" }, {
-	pattern = { "*.adb", "*.ads" },
-	callback = format_file,
-})

lua/code-completion.lua

@@ -108,9 +108,6 @@ cmp.setup.cmdline({ "/", "?" }, {
 
 -- Use cmdline & path source for ':' (if you enabled `native_menu`, this won't work anymore).
 cmp.setup.cmdline(":", {
-	view = {
-		entries = { name = "wildmenu", separator = ":" },
-	},
 	mapping = cmp.mapping.preset.cmdline(),
 	sources = cmp.config.sources({
 		{ name = "path" },

lua/linterconfiguration.lua

@@ -12,9 +12,7 @@ local linters = {
 	ada = { "gnat", "gcc", "adals", "cspell" },
 }
 
-vim.g.ale_linters = linters
-vim.g.ale_fix_on_save = 0
-vim.g.ale_fixers = {
+local fixers = {
 	ada = { "gnatpp" },
 	asm = { "gcc" },
 	bash = { "bashate" },
@@ -28,5 +26,9 @@ vim.g.ale_fixers = {
 	haskell = { "fourmolu" },
 }
 
+vim.g.ale_linters = linters
+vim.g.ale_fix_on_save = 0
+vim.g.ale_fixers = fixers
+
 vim.keymap.set("n", "<leader>lf", ":ALEFix<CR>")
-vim.keymap.set("n", "<leader>ld", ":ALEDetail<CR>")
+vim.keymap.set("n", "<leader>lp", ":ALEFindReferences<CR>")

lua/lspconfiguration.lua

@@ -15,38 +15,38 @@ require("mason-lspconfig").setup({
 	},
 })
 
-require("mason-lspconfig").setup_handlers({
-	function(asm_lsp)
-		require("lspconfig")[asm_lsp].setup({})
-	end,
-	function(clangd)
-		require("lspconfig")[clangd].setup({})
-	end,
-	function(lua_ls)
-		require("lspconfig")[lua_ls].setup({})
-	end,
-	function(hls)
-		require("lspconfig")[hls].setup({})
-	end,
-	function(rust_analyzer)
-		require("lspconfig")[rust_analyzer].setup({})
-	end,
-	function(vhdl_ls)
-		require("lspconfig")[vhdl_ls].setup({})
-	end,
-	function(verible)
-		require("lspconfig")[verible].setup({})
-	end,
-	function(vimls)
-		require("lspconfig")[vimls].setup({})
-	end,
-	function(texlab)
-		require("lspconfig")[texlab].setup({})
-	end,
-	function(als)
-		require("lspconfig")[als].setup({})
-	end,
-})
+-- require("mason-lspconfig").setup_handlers({
+-- 	function(asm_lsp)
+-- 		require("lspconfig")[asm_lsp].setup({})
+-- 	end,
+-- 	function(clangd)
+-- 		require("lspconfig")[clangd].setup({})
+-- 	end,
+-- 	function(lua_ls)
+-- 		require("lspconfig")[lua_ls].setup({})
+-- 	end,
+-- 	function(hls)
+-- 		require("lspconfig")[hls].setup({})
+-- 	end,
+-- 	function(rust_analyzer)
+-- 		require("lspconfig")[rust_analyzer].setup({})
+-- 	end,
+-- 	function(vhdl_ls)
+-- 		require("lspconfig")[vhdl_ls].setup({})
+-- 	end,
+-- 	function(verible)
+-- 		require("lspconfig")[verible].setup({})
+-- 	end,
+-- 	function(vimls)
+-- 		require("lspconfig")[vimls].setup({})
+-- 	end,
+-- 	function(texlab)
+-- 		require("lspconfig")[texlab].setup({})
+-- 	end,
+-- 	function(als)
+-- 		require("lspconfig")[als].setup({})
+-- 	end,
+-- })
 
 require("lspconfig").verible.setup({
 	cmd = { "verible-verilog-ls", "--rules_config_search" },

lua/mail.lua

@@ -1,35 +0,0 @@
-vim.g.iris_name = "Nina Chloé Kassandra Reiß"
-vim.g.iris_mail = "nina.reiss@nickr.eu"
-
-local cmd = io.popen("whoami")
-local get_lua_configuration_directory
-
-if cmd == nil then
-	get_lua_configuration_directory = "root"
-else
-	get_lua_configuration_directory = cmd:read("*a")
-	cmd:close()
-end
-
-local directory_path
-if get_lua_configuration_directory == "root" then
-	directory_path = "/root/.config/nvim"
-else
-	directory_path = "/home/" .. get_lua_configuration_directory .. "/.config/nvim"
-end
-
-vim.g.iris_imap_host = "mail.nickr.eu"
-vim.g.iris_imap_port = 143
-vim.g.iris_imap_login = "yannick.reiss@nickr.eu"
-vim.g.iris_imap_passwd_filepath = directory_path .. "mail_password.gpg"
-
-vim.g.iris_smtp_host = "smtp.nickr.eu"
-vim.g.iris_smtp_port = 587
-vim.g.iris_smtp_login = "yannick.reiss@nickr.eu"
-vim.g.iris_smtp_passwd_filepath = directory_path .. "mail_password.gpg"
-
--- specify mail configuration
-vim.g.iris_idle_enabled = 0
-vim.g.iris_idle_timeout = 300
-vim.g.iris_emails_chunk_size = 25
-vim.g.iris_download_dir = "~/Downloads"

lua/plugconfig.lua

@@ -25,11 +25,10 @@ require("pascal_mode")
 -- Ada mode (supported by plugins)
 require("ada_mode")
 
--- Mail configuration
--- require("mail")
-
--- IRC configuration
-require("irc_client")
+-- Markdown Preview
+vim.g.mkdp_auto_start = 0
+vim.g.mkdp_browser = "epiphany"
+vim.g.mkdp_echo_preview_url = 1
 
 -- Misc configuration
 if vim == nil then
@@ -38,7 +37,7 @@ end
 
 -- Update function and call
 function Update_Sys()
-	vim.cmd("TSUpdate")
+	--vim.cmd("TSUpdate")
 	vim.cmd("MasonUpdate")
 	vim.cmd("Lazy sync")
 end
@@ -56,9 +55,6 @@ vim.g.gitblame_date_format = "%r"
 -- Floating terminal
 vim.keymap.set("n", "<C-t>", ":FloatermNew --height=0.9 --width=0.9 --wintype=float --name=terminal <CR>")
 
--- Key plugin
-require("screenkeyconfig")
-
 -- Set default colorscheme
 -- vim.cmd("colo vim-monokai-tasty")
 vim.cmd("colo vim-monokai-tasty")

lua/plugins.lua

@@ -57,14 +57,27 @@ return {
 	"dense-analysis/ale",
 	"f-person/git-blame.nvim",
 	"dstein64/vim-startuptime",
-	"NStefan002/screenkey.nvim",
 	"hiphish/rainbow-delimiters.nvim",
+	{
+		"iamcco/markdown-preview.nvim",
+		cmd = { "MarkdownPreviewToggle", "MarkdownPreview", "MarkdownPreviewStop" },
+		build = "cd app && npm install",
+		init = function()
+			vim.g.mkdp_filetypes = { "markdown" }
+		end,
+		ft = { "markdown" },
+	},
 
 	-- Themes
 	"folke/tokyonight.nvim",
 	"patstockwell/vim-monokai-tasty",
 	"hiroakis/cyberspace.vim",
 	"jaredgorski/spacecamp",
+	{
+		"scottmckendry/cyberdream.nvim",
+		lazy = false,
+		priority = 1000,
+	},
 
 	-- Code completion / Menu
 	"hrsh7th/nvim-cmp",
@@ -93,7 +106,49 @@ return {
 	-- Plugins to test
 	"https://git.nickr.eu/yannickreiss/nvim-macrotool.git",
 
-	-- Message clients and office setup
-	"soywod/iris.vim",
-	{ "shadmansaleh/IRC.nvim", rocks = "openssl" },
+	-- Wiki
+	{
+		"echaya/neowiki.nvim",
+		opts = {
+			wiki_dirs = {
+				-- neowiki.nvim supports both absolute and relative paths
+				{ name = "Personal", path = "~/.wiki" },
+				{ name = "RiscVar", path = "~/Documents/HSRM/riscvar.wiki" },
+				{ name = "Ada/Spark", path = "~/Documents/Science/ada_spark_wiki" },
+				{ name = "FPGA Book", path = "~/Documents/Science/FPGA_Design" },
+				{ name = "Spark-Shell", path = "~/Documents/Programming/spark/spark_shell/spark_shell.wiki" },
+			},
+		},
+		keys = {
+			{ "<leader>ww", "<cmd>lua require('neowiki').open_wiki()<cr>", desc = "Open Wiki" },
+			{ "<leader>wW", "<cmd>lua require('neowiki').open_wiki_floating()<cr>", desc = "Open Floating Wiki" },
+			{ "<leader>wT", "<cmd>lua require('neowiki').open_wiki_new_tab()<cr>", desc = "Open Wiki in Tab" },
+		},
+	},
+
+	-- Lean
+	{
+		"Julian/lean.nvim",
+		event = { "BufReadPre *.lean", "BufNewFile *.lean" },
+
+		dependencies = {
+			"neovim/nvim-lspconfig",
+			"nvim-lua/plenary.nvim",
+
+			-- optional dependencies:
+
+			-- a completion engine
+			--    hrsh7th/nvim-cmp or Saghen/blink.cmp are popular choices
+
+			-- 'nvim-telescope/telescope.nvim', -- for 2 Lean-specific pickers
+			-- 'andymass/vim-matchup',          -- for enhanced % motion behavior
+			-- 'andrewradev/switch.vim',        -- for switch support
+			-- 'tomtom/tcomment_vim',           -- for commenting
+		},
+
+		---@type lean.Config
+		opts = { -- see below for full configuration options
+			mappings = true,
+		},
+	},
 }

lua/screenkeyconfig.lua

@@ -1,65 +0,0 @@
-require("screenkey").setup({
-	win_opts = {
-		row = vim.o.lines - vim.o.cmdheight - 1,
-		col = vim.o.columns - 1,
-		relative = "editor",
-		anchor = "SE",
-		width = 40,
-		height = 3,
-		border = "single",
-		title = "Screenkey",
-		title_pos = "center",
-		style = "minimal",
-		focusable = false,
-		noautocmd = true,
-	},
-	compress_after = 3,
-	clear_after = 3,
-	disable = {
-		filetypes = {},
-		buftypes = {},
-		events = false,
-	},
-	show_leader = true,
-	group_mappings = false,
-	display_infront = {},
-	display_behind = {},
-	filter = function(keys)
-		return keys
-	end,
-	keys = {
-		["<TAB>"] = "󰌒",
-		["<CR>"] = "󰌑",
-		["<ESC>"] = "Esc",
-		["<SPACE>"] = "␣",
-		["<BS>"] = "󰌥",
-		["<DEL>"] = "Del",
-		["<LEFT>"] = "",
-		["<RIGHT>"] = "",
-		["<UP>"] = "",
-		["<DOWN>"] = "",
-		["<HOME>"] = "Home",
-		["<END>"] = "End",
-		["<PAGEUP>"] = "PgUp",
-		["<PAGEDOWN>"] = "PgDn",
-		["<INSERT>"] = "Ins",
-		["<F1>"] = "󱊫",
-		["<F2>"] = "󱊬",
-		["<F3>"] = "󱊭",
-		["<F4>"] = "󱊮",
-		["<F5>"] = "󱊯",
-		["<F6>"] = "󱊰",
-		["<F7>"] = "󱊱",
-		["<F8>"] = "󱊲",
-		["<F9>"] = "󱊳",
-		["<F10>"] = "󱊴",
-		["<F11>"] = "󱊵",
-		["<F12>"] = "󱊶",
-		["CTRL"] = "Ctrl",
-		["ALT"] = "Alt",
-		["SUPER"] = "󰘳",
-		["<leader>"] = "<leader>",
-	},
-})
-
-vim.keymap.set("n", "<leader>kk", ":Screenkey<CR>")

lua/vanilla.lua

@@ -16,7 +16,7 @@ vim.opt.shiftwidth = 4
 vim.opt.expandtab = true
 vim.opt.splitright = true
 vim.opt.splitbelow = true
-vim.opt.relativenumber = true
+vim.opt.relativenumber = false
 vim.g.mapleader = ","
 vim.cmd("set clipboard+=unnamedplus")
 vim.cmd("autocmd! CursorHold,CursorHoldI *.md write")
@@ -29,7 +29,6 @@ vim.opt.encoding = "UTF-8"
 vim.g.tex_flavor = "latex"
 vim.opt.conceallevel = 2
 vim.opt.showmatch = true
-vim.o.guifont = "Source Code Pro:h13"
 
 -- set color scheme
 vim.opt.termguicolors = true
@@ -46,3 +45,61 @@ vim.keymap.set("n", "<leader>lm", ":set number<cr>")
 -- switch mode
 vim.keymap.set("n", "<leader>na", ":set norelativenumber<cr>")
 vim.keymap.set("n", "<leader>nr", ":set relativenumber<cr>")
+
+-- Nix mode
+local nix_interpreter_buffer = -1
+local nix_interpreter_window = -1
+
+-- @name run_nix_interpreter
+-- @param
+-- @short Run nix and output to a buffer on the right
+local function run_nix_interpreter()
+	local original_win = vim.api.nvim_get_current_win()
+	vim.cmd("vsplit")
+	nix_interpreter_buffer = vim.api.nvim_create_buf(false, true)
+	vim.api.nvim_win_set_buf(0, nix_interpreter_buffer)
+	nix_interpreter_window = vim.api.nvim_get_current_win()
+	vim.api.nvim_set_current_win(original_win)
+end
+
+-- @name update_nix_interpreter
+-- @param
+-- @short Run nix enterpreter on that file.
+local function update_nix_interpreter()
+	local filename = vim.api.nvim_buf_get_name(0)
+	if filename == "" then
+		vim.api.nvim_buf_set_lines(nix_interpreter_buffer, 0, -1, false, {
+			"Error: Current buffer has no file name.",
+		})
+		return
+	end
+	local cmd = { "nix-instantiate", "--eval", "--strict", filename }
+	local output = vim.fn.systemlist(cmd)
+	if vim.v.shell_error ~= 0 then
+		table.insert(output, 1, "Error running nix-instantiate:")
+	end
+	vim.api.nvim_buf_set_lines(nix_interpreter_buffer, 0, -1, false, output)
+end
+
+-- @name close_nix_interpreter
+-- @param
+-- @short Closes the window and buffer of the interpreter
+local function close_nix_interpreter()
+	vim.api.nvim_buf_delete(nix_interpreter_buffer, { unload = true })
+	vim.api.nvim_win_close(nix_interpreter_window, true)
+end
+
+vim.api.nvim_create_autocmd({ "BufEnter" }, {
+	pattern = { "*.nix" },
+	callback = run_nix_interpreter,
+})
+
+vim.api.nvim_create_autocmd({ "BufWritePost" }, {
+	pattern = { "*.nix" },
+	callback = update_nix_interpreter,
+})
+
+vim.api.nvim_create_autocmd({ "BufLeave" }, {
+	pattern = { "*.nix" },
+	callback = close_nix_interpreter,
+})

mail_password.gpg

@@ -1,15 +0,0 @@
------BEGIN PGP MESSAGE-----
-
-hF4D7SdwCs0TtR8SAQdAnK7+vhdEeHAQMkTbfuC9F4DuPtbNff2CGXMcFuv1k3Yw
-Tj/wXDP1IV5mJdGVCH3PAbZme+UX4jybW934fIo8je109OIyAPra4bn75S1A4klb
-1MDjAQkCEBd5WJKvyyF8NwmavnF7JMHOl9pzuo26BwakfmWhJaTH3Wt5YDkk94C8
-ebqCJB7ER2Yqbos2/Ln8h2f7E20qKaWe2oWklJZTnSGiwcs0CKs3rgRkOP84glP+
-+SH/L5Epu6APawedrW+Sm2o7HZF0/reZMFB10gqDSMW19VuzRhmPDejldco37ME5
-cd9WVeRNXv7LlSjU1JIcgm6M5FFNsDBFw1Gz4RGic3flN4yulWQx5GgPWU1ePpml
-+AUzZGSpgmWB6pMvZrlf+HaQMc3zUoNRdSyB78SiCJcl+9iDpprCMxsgi43DFB6p
-ipjQxvXOKT3kko2DW8gcr03VDMQ9P3Pz7E/GSzUlsaOkOCL+/xed+y23IYuOVlt6
-cHRhrY7nSPpTLuaP/gABJPQLLrUnldSf6LK6hp66SLn5igMfklL6zvDNVPzkz+wT
-B6nyxD2sEuj/KklhsR3YESJK9QhySq3llgMhOM7m9cFt0+X/rOgROvpwkVApVpDS
-ymjfPtZo56XvHO+uv8vdt8nk06NySTcfXorTOGgxYlKRmX9OMRU=
-=pKVC
------END PGP MESSAGE-----