{"header":{"message":"setting lean.nvim & lean keymap","description":null,"timestamp":"2026-08-03T04:16:22.834866591Z","authors":[{}]},"hash":"TV3I3232KZNCCH5TOHUJIPSCOGEIDCMUXND66JLDYBK4HLJLB7SQC","authors":[{"login":"phantom","key":"AAAAC3NzaC1lZDI1NTE5AAAAIP9PKBeqBh9i7lpfwbz1e0S9vijakQ65s6hUb0nwdJzd"}],"deps":{"hashes":[["TV3I3232KZNCCH5TOHUJIPSCOGEIDCMUXND66JLDYBK4HLJLB7SQC","setting lean.nvim & lean keymap"],["AA",null],["7ST4U2BM7BHPTP43M6H3WRJZNFNCV4YYQ6VMVJ3TD2PQ37ICUJTQC","fundamental neovim setting"],["N2ZECX3PSYYI5LLQFNK52EFACUQ45QLYJIAHDEBJTE3GZQTVPZAAC","add `coc-settings.json` and `lazy-lock.json` and UI setting"]],"deps":["7ST4U2BM7BHPTP43M6H3WRJZNFNCV4YYQ6VMVJ3TD2PQ37ICUJTQC","N2ZECX3PSYYI5LLQFNK52EFACUQ45QLYJIAHDEBJTE3GZQTVPZAAC"],"known":[]},"hunks":[{"FileAdd":{"meta":{"basename":"lean.lua","metadata":0},"context":[{"change":2,"pos":54}],"contents":[{"Add":{"text":"return","pos":"TV3I3232KZNCCH5TOHUJIPSCOGEIDCMUXND66JLDYBK4HLJLB7SQC:40"}},{"Add":{"text":" {","pos":"TV3I3232KZNCCH5TOHUJIPSCOGEIDCMUXND66JLDYBK4HLJLB7SQC:46"}},{"Add":{"text":" \"Julian/lean.nvim\",","pos":"TV3I3232KZNCCH5TOHUJIPSCOGEIDCMUXND66JLDYBK4HLJLB7SQC:72"}},{"Add":{"text":" init = function()","pos":"TV3I3232KZNCCH5TOHUJIPSCOGEIDCMUXND66JLDYBK4HLJLB7SQC:96"}},{"Add":{"text":" vim.g.lean_config = {","pos":"TV3I3232KZNCCH5TOHUJIPSCOGEIDCMUXND66JLDYBK4HLJLB7SQC:126"}},{"Add":{"text":" lsp = {},","pos":"TV3I3232KZNCCH5TOHUJIPSCOGEIDCMUXND66JLDYBK4HLJLB7SQC:146"}},{"Add":{"text":" mappings = true,","pos":"TV3I3232KZNCCH5TOHUJIPSCOGEIDCMUXND66JLDYBK4HLJLB7SQC:173"}},{"Add":{"text":" }","pos":"TV3I3232KZNCCH5TOHUJIPSCOGEIDCMUXND66JLDYBK4HLJLB7SQC:183"}},{"Add":{"text":" end,","pos":"TV3I3232KZNCCH5TOHUJIPSCOGEIDCMUXND66JLDYBK4HLJLB7SQC:194"}},{"Add":{"text":" }","pos":"TV3I3232KZNCCH5TOHUJIPSCOGEIDCMUXND66JLDYBK4HLJLB7SQC:200"}}]}},{"Edit":{"inode":{"change":2,"pos":1590},"path":"nvim/lua/core/keymaps.lua","line":5,"atom":{"NewVertex":{"up_context":[{"change":2,"pos":1871}],"down_context":[],"flag":"BLOCK","start":202,"end":1718,"inode":{"change":2,"pos":1590}}},"contents":[{"Add":{"text":"","pos":"TV3I3232KZNCCH5TOHUJIPSCOGEIDCMUXND66JLDYBK4HLJLB7SQC:202"}},{"Add":{"text":"-- ==========================================","pos":"TV3I3232KZNCCH5TOHUJIPSCOGEIDCMUXND66JLDYBK4HLJLB7SQC:248"}},{"Add":{"text":"-- Lean (Native LSP) 用のキーマッピング同期設定","pos":"TV3I3232KZNCCH5TOHUJIPSCOGEIDCMUXND66JLDYBK4HLJLB7SQC:309"}},{"Add":{"text":"-- ==========================================","pos":"TV3I3232KZNCCH5TOHUJIPSCOGEIDCMUXND66JLDYBK4HLJLB7SQC:355"}},{"Add":{"text":"-- Native LSP (lean.nvim) がアタッチされた時だけ、Cocと同じキーバインドを適用する","pos":"TV3I3232KZNCCH5TOHUJIPSCOGEIDCMUXND66JLDYBK4HLJLB7SQC:463"}},{"Add":{"text":"vim.api.nvim_create_autocmd(\"LspAttach\", {","pos":"TV3I3232KZNCCH5TOHUJIPSCOGEIDCMUXND66JLDYBK4HLJLB7SQC:506"}},{"Add":{"text":" callback = function(args)","pos":"TV3I3232KZNCCH5TOHUJIPSCOGEIDCMUXND66JLDYBK4HLJLB7SQC:536"}},{"Add":{"text":" -- バッファローカルな設定にするためのオプション","pos":"TV3I3232KZNCCH5TOHUJIPSCOGEIDCMUXND66JLDYBK4HLJLB7SQC:614"}},{"Add":{"text":" local opts = { buffer = args.buf, silent = true }","pos":"TV3I3232KZNCCH5TOHUJIPSCOGEIDCMUXND66JLDYBK4HLJLB7SQC:672"}},{"Add":{"text":" local map = vim.keymap.set","pos":"TV3I3232KZNCCH5TOHUJIPSCOGEIDCMUXND66JLDYBK4HLJLB7SQC:707"}},{"Add":{"text":"","pos":"TV3I3232KZNCCH5TOHUJIPSCOGEIDCMUXND66JLDYBK4HLJLB7SQC:708"}},{"Add":{"text":" -- ホバー表示 (h)","pos":"TV3I3232KZNCCH5TOHUJIPSCOGEIDCMUXND66JLDYBK4HLJLB7SQC:747"}},{"Add":{"text":" map(\"n\", \"h\", vim.lsp.buf.hover, opts)","pos":"TV3I3232KZNCCH5TOHUJIPSCOGEIDCMUXND66JLDYBK4HLJLB7SQC:802"}},{"Add":{"text":"","pos":"TV3I3232KZNCCH5TOHUJIPSCOGEIDCMUXND66JLDYBK4HLJLB7SQC:803"}},{"Add":{"text":" -- 定義ジャンプ (df)","pos":"TV3I3232KZNCCH5TOHUJIPSCOGEIDCMUXND66JLDYBK4HLJLB7SQC:846"}},{"Add":{"text":" map(\"n\", \"df\", vim.lsp.buf.definition, opts)","pos":"TV3I3232KZNCCH5TOHUJIPSCOGEIDCMUXND66JLDYBK4HLJLB7SQC:907"}},{"Add":{"text":"","pos":"TV3I3232KZNCCH5TOHUJIPSCOGEIDCMUXND66JLDYBK4HLJLB7SQC:908"}},{"Add":{"text":" -- 参照先一覧 (rf)","pos":"TV3I3232KZNCCH5TOHUJIPSCOGEIDCMUXND66JLDYBK4HLJLB7SQC:948"}},{"Add":{"text":" map(\"n\", \"rf\", vim.lsp.buf.references, opts)","pos":"TV3I3232KZNCCH5TOHUJIPSCOGEIDCMUXND66JLDYBK4HLJLB7SQC:1009"}},{"Add":{"text":"","pos":"TV3I3232KZNCCH5TOHUJIPSCOGEIDCMUXND66JLDYBK4HLJLB7SQC:1010"}},{"Add":{"text":" -- リネーム (rn)","pos":"TV3I3232KZNCCH5TOHUJIPSCOGEIDCMUXND66JLDYBK4HLJLB7SQC:1047"}},{"Add":{"text":" map(\"n\", \"rn\", vim.lsp.buf.rename, opts)","pos":"TV3I3232KZNCCH5TOHUJIPSCOGEIDCMUXND66JLDYBK4HLJLB7SQC:1104"}},{"Add":{"text":"","pos":"TV3I3232KZNCCH5TOHUJIPSCOGEIDCMUXND66JLDYBK4HLJLB7SQC:1105"}},{"Add":{"text":" map(\"n\", \"ca\", vim.lsp.buf.code_action, opts)","pos":"TV3I3232KZNCCH5TOHUJIPSCOGEIDCMUXND66JLDYBK4HLJLB7SQC:1167"}},{"Add":{"text":"","pos":"TV3I3232KZNCCH5TOHUJIPSCOGEIDCMUXND66JLDYBK4HLJLB7SQC:1168"}},{"Add":{"text":" -- フォーマット (fmt)","pos":"TV3I3232KZNCCH5TOHUJIPSCOGEIDCMUXND66JLDYBK4HLJLB7SQC:1212"}},{"Add":{"text":" map(\"n\", \"fmt\", vim.lsp.buf.format, opts)","pos":"TV3I3232KZNCCH5TOHUJIPSCOGEIDCMUXND66JLDYBK4HLJLB7SQC:1270"}},{"Add":{"text":"","pos":"TV3I3232KZNCCH5TOHUJIPSCOGEIDCMUXND66JLDYBK4HLJLB7SQC:1271"}},{"Add":{"text":" -- 定義を分割ウィンドウで開く (dfs / dfv)","pos":"TV3I3232KZNCCH5TOHUJIPSCOGEIDCMUXND66JLDYBK4HLJLB7SQC:1350"}},{"Add":{"text":" -- Native LSPには直接の機能がないため、コマンドを組み合わせます","pos":"TV3I3232KZNCCH5TOHUJIPSCOGEIDCMUXND66JLDYBK4HLJLB7SQC:1447"}},{"Add":{"text":" map(\"n\", \"dfs\", function()","pos":"TV3I3232KZNCCH5TOHUJIPSCOGEIDCMUXND66JLDYBK4HLJLB7SQC:1490"}},{"Add":{"text":" vim.cmd(\"split\")","pos":"TV3I3232KZNCCH5TOHUJIPSCOGEIDCMUXND66JLDYBK4HLJLB7SQC:1519"}},{"Add":{"text":" vim.lsp.buf.definition()","pos":"TV3I3232KZNCCH5TOHUJIPSCOGEIDCMUXND66JLDYBK4HLJLB7SQC:1556"}},{"Add":{"text":" end, opts)","pos":"TV3I3232KZNCCH5TOHUJIPSCOGEIDCMUXND66JLDYBK4HLJLB7SQC:1575"}},{"Add":{"text":"","pos":"TV3I3232KZNCCH5TOHUJIPSCOGEIDCMUXND66JLDYBK4HLJLB7SQC:1576"}},{"Add":{"text":" map(\"n\", \"dfv\", function()","pos":"TV3I3232KZNCCH5TOHUJIPSCOGEIDCMUXND66JLDYBK4HLJLB7SQC:1619"}},{"Add":{"text":" vim.cmd(\"vsplit\")","pos":"TV3I3232KZNCCH5TOHUJIPSCOGEIDCMUXND66JLDYBK4HLJLB7SQC:1649"}},{"Add":{"text":" vim.lsp.buf.definition()","pos":"TV3I3232KZNCCH5TOHUJIPSCOGEIDCMUXND66JLDYBK4HLJLB7SQC:1686"}},{"Add":{"text":" end, opts)","pos":"TV3I3232KZNCCH5TOHUJIPSCOGEIDCMUXND66JLDYBK4HLJLB7SQC:1705"}},{"Add":{"text":" end,","pos":"TV3I3232KZNCCH5TOHUJIPSCOGEIDCMUXND66JLDYBK4HLJLB7SQC:1714"}},{"Add":{"text":"})","pos":"TV3I3232KZNCCH5TOHUJIPSCOGEIDCMUXND66JLDYBK4HLJLB7SQC:1717"}}]}},{"Edit":{"inode":{"change":3,"pos":1556},"path":"nvim/lazy-lock.json","line":5,"atom":{"NewVertex":{"up_context":[{"change":3,"pos":1838}],"down_context":[{"change":3,"pos":1838}],"flag":"BLOCK","start":1719,"end":1908,"inode":{"change":3,"pos":1556}}},"contents":[{"Add":{"text":" \"lean.nvim\": { \"branch\": \"main\", \"commit\": \"dbfa4928652229c92bd02c21dffa1b7e8d20a108\" },","pos":"TV3I3232KZNCCH5TOHUJIPSCOGEIDCMUXND66JLDYBK4HLJLB7SQC:1809"}},{"Add":{"text":" \"nvim-lspconfig\": { \"branch\": \"master\", \"commit\": \"1c0d8f70dbc8827263eedc3cf7021ceba0f68689\" },","pos":"TV3I3232KZNCCH5TOHUJIPSCOGEIDCMUXND66JLDYBK4HLJLB7SQC:1907"}}]}}],"owner":"phantom","repo":"dotfiles","token":"M3lFa0nS4VFq/iFhJjLsL9zSOIRrL0wYQYUUjdcZc1o=","login":null}

…

Dependencies

Change contents

Review