From 65f53f4cab7a1dfab6807d48845c46c59182e4df Mon Sep 17 00:00:00 2001 From: Ruthenic Date: Wed, 10 Nov 2021 13:51:53 -0500 Subject: [PATCH] Uncomment coq --- init.lua | 4 +- plugin/packer_compiled.lua | 156 +++++++++++++++++++++++++++++++++++++ 2 files changed, 158 insertions(+), 2 deletions(-) create mode 100644 plugin/packer_compiled.lua diff --git a/init.lua b/init.lua index 0ede86e..9f57cdc 100644 --- a/init.lua +++ b/init.lua @@ -11,8 +11,8 @@ require('packer').startup(function() use 'lukas-reineke/indent-blankline.nvim' use 'joshdick/onedark.vim' use 'nvim-treesitter/nvim-treesitter' - -- use {'ms-jpq/coq_nvim', branch = 'coq'} - -- use {'ms-jpq/coq.artifacts', branch = 'artifacts'} + use {'ms-jpq/coq_nvim', branch = 'coq'} + use {'ms-jpq/coq.artifacts', branch = 'artifacts'} use {'noib3/cokeline.nvim', requires = 'kyazdani42/nvim-web-devicons'} use 'numtostr/FTerm.nvim' use 'andweeb/presence.nvim' diff --git a/plugin/packer_compiled.lua b/plugin/packer_compiled.lua new file mode 100644 index 0000000..2b9a4bb --- /dev/null +++ b/plugin/packer_compiled.lua @@ -0,0 +1,156 @@ +-- Automatically generated packer.nvim plugin loader code + +if vim.api.nvim_call_function('has', {'nvim-0.5'}) ~= 1 then + vim.api.nvim_command('echohl WarningMsg | echom "Invalid Neovim version for packer.nvim! | echohl None"') + return +end + +vim.api.nvim_command('packadd packer.nvim') + +local no_errors, error_msg = pcall(function() + + local time + local profile_info + local should_profile = false + if should_profile then + local hrtime = vim.loop.hrtime + profile_info = {} + time = function(chunk, start) + if start then + profile_info[chunk] = hrtime() + else + profile_info[chunk] = (hrtime() - profile_info[chunk]) / 1e6 + end + end + else + time = function(chunk, start) end + end + +local function save_profiles(threshold) + local sorted_times = {} + for chunk_name, time_taken in pairs(profile_info) do + sorted_times[#sorted_times + 1] = {chunk_name, time_taken} + end + table.sort(sorted_times, function(a, b) return a[2] > b[2] end) + local results = {} + for i, elem in ipairs(sorted_times) do + if not threshold or threshold and elem[2] > threshold then + results[i] = elem[1] .. ' took ' .. elem[2] .. 'ms' + end + end + + _G._packer = _G._packer or {} + _G._packer.profile_output = results +end + +time([[Luarocks path setup]], true) +local package_path_str = "/home/ruthenic/.cache/nvim/packer_hererocks/2.0.5/share/lua/5.1/?.lua;/home/ruthenic/.cache/nvim/packer_hererocks/2.0.5/share/lua/5.1/?/init.lua;/home/ruthenic/.cache/nvim/packer_hererocks/2.0.5/lib/luarocks/rocks-5.1/?.lua;/home/ruthenic/.cache/nvim/packer_hererocks/2.0.5/lib/luarocks/rocks-5.1/?/init.lua" +local install_cpath_pattern = "/home/ruthenic/.cache/nvim/packer_hererocks/2.0.5/lib/lua/5.1/?.so" +if not string.find(package.path, package_path_str, 1, true) then + package.path = package.path .. ';' .. package_path_str +end + +if not string.find(package.cpath, install_cpath_pattern, 1, true) then + package.cpath = package.cpath .. ';' .. install_cpath_pattern +end + +time([[Luarocks path setup]], false) +time([[try_loadstring definition]], true) +local function try_loadstring(s, component, name) + local success, result = pcall(loadstring(s)) + if not success then + vim.schedule(function() + vim.api.nvim_notify('packer.nvim: Error running ' .. component .. ' for ' .. name .. ': ' .. result, vim.log.levels.ERROR, {}) + end) + end + return result +end + +time([[try_loadstring definition]], false) +time([[Defining packer_plugins]], true) +_G.packer_plugins = { + ["FTerm.nvim"] = { + loaded = true, + path = "/home/ruthenic/.local/share/nvim/site/pack/packer/start/FTerm.nvim", + url = "https://github.com/numtostr/FTerm.nvim" + }, + ["cokeline.nvim"] = { + loaded = true, + path = "/home/ruthenic/.local/share/nvim/site/pack/packer/start/cokeline.nvim", + url = "https://github.com/noib3/cokeline.nvim" + }, + ["indent-blankline.nvim"] = { + loaded = true, + path = "/home/ruthenic/.local/share/nvim/site/pack/packer/start/indent-blankline.nvim", + url = "https://github.com/lukas-reineke/indent-blankline.nvim" + }, + ["lualine.nvim"] = { + loaded = true, + path = "/home/ruthenic/.local/share/nvim/site/pack/packer/start/lualine.nvim", + url = "https://github.com/nvim-lualine/lualine.nvim" + }, + ["nvim-gps"] = { + loaded = true, + path = "/home/ruthenic/.local/share/nvim/site/pack/packer/start/nvim-gps", + url = "https://github.com/SmiteshP/nvim-gps" + }, + ["nvim-lspconfig"] = { + loaded = true, + path = "/home/ruthenic/.local/share/nvim/site/pack/packer/start/nvim-lspconfig", + url = "https://github.com/neovim/nvim-lspconfig" + }, + ["nvim-tree.lua"] = { + loaded = true, + path = "/home/ruthenic/.local/share/nvim/site/pack/packer/start/nvim-tree.lua", + url = "https://github.com/kyazdani42/nvim-tree.lua" + }, + ["nvim-treesitter"] = { + loaded = true, + path = "/home/ruthenic/.local/share/nvim/site/pack/packer/start/nvim-treesitter", + url = "https://github.com/nvim-treesitter/nvim-treesitter" + }, + ["nvim-web-devicons"] = { + loaded = true, + path = "/home/ruthenic/.local/share/nvim/site/pack/packer/start/nvim-web-devicons", + url = "https://github.com/kyazdani42/nvim-web-devicons" + }, + ["onedark.vim"] = { + loaded = true, + path = "/home/ruthenic/.local/share/nvim/site/pack/packer/start/onedark.vim", + url = "https://github.com/joshdick/onedark.vim" + }, + ["packer.nvim"] = { + loaded = true, + path = "/home/ruthenic/.local/share/nvim/site/pack/packer/start/packer.nvim", + url = "https://github.com/wbthomason/packer.nvim" + }, + ["plenary.nvim"] = { + loaded = true, + path = "/home/ruthenic/.local/share/nvim/site/pack/packer/start/plenary.nvim", + url = "https://github.com/nvim-lua/plenary.nvim" + }, + ["presence.nvim"] = { + loaded = true, + path = "/home/ruthenic/.local/share/nvim/site/pack/packer/start/presence.nvim", + url = "https://github.com/andweeb/presence.nvim" + }, + ["telescope.nvim"] = { + loaded = true, + path = "/home/ruthenic/.local/share/nvim/site/pack/packer/start/telescope.nvim", + url = "https://github.com/nvim-telescope/telescope.nvim" + }, + ["vim-fugitive"] = { + loaded = true, + path = "/home/ruthenic/.local/share/nvim/site/pack/packer/start/vim-fugitive", + url = "https://github.com/tpope/vim-fugitive" + } +} + +time([[Defining packer_plugins]], false) +if should_profile then save_profiles() end + +end) + +if not no_errors then + vim.api.nvim_command('echohl ErrorMsg | echom "Error in packer_compiled: '..error_msg..'" | echom "Please check your config for correctness" | echohl None') +end