ms-jpq / coq.thirdparty Goto Github PK

On setup, I get an error:
packer.nvim: Error running config for coq_nvim: ...ite/pack/packer/start/coq.thirdparty/lua/coq_3p/init.lua:33: Expected lua string

Is this the design? It seems like it would be better to disable the copilot completions or something? I just want to make sure I understand how this is supposed to work.

Hi, I just discovered modding and nvim at the same time. So I lack a lot of notion so my question may seem stupid.

I've installed coq and third party like this:

But i dont know how to use third party, where i'm supposed to put this ? In ~/.config/nvim/init.vim ? Or somewhere else ?

{
  { src = "builtin/ada"     },
  { src = "builtin/c"       },
  { src = "builtin/clojure" },
  { src = "builtin/css"     },
  { src = "builtin/haskell" },
  { src = "builtin/html"    },
  { src = "builtin/js"      },
  { src = "builtin/php"     },
  { src = "builtin/syntax"  },
  { src = "builtin/xml"     },

}

I've tried like this:

And like this:

But i get error in any case.

Hello,
I'm using lazyvim and copilot/codium does not at all and doesn't show in the menus.

here's my config:

	{
		'ms-jpq/coq_nvim',
		branch = 'coq',
		event = 'InsertEnter',
		opt = true,
		config = function()
			local coq = require('coq')
			coq.Now() -- Start coq

			-- 3party sources
			require('coq_3p')({
				{ src = 'copilot', short_name = 'COP', accept_key = '<c-f>' },
				{ src = 'codeium', short_name = 'COD' },
				{src='demo'} -- to test if it works, and it does
			})
		end,
		dependencies = {
			{ 'ms-jpq/coq.artifacts', branch = 'artifacts' },
			{ 'ms-jpq/coq.thirdparty', branch = '3p', module = 'coq_3p' },
		},
	},

Error when use figlet

/packer/opt/coq.thirdparty/lua/coq_3p/figlet/init.lua:64: attempt to get length of upvalue 'fonts' (a nil value)