Make workspace.checkThirdParty a string enum

[9999years]

This lets you skip the "apply third party library to workspace configuration" prompt.

The value of Lua.workspace.checkThirdParty can now be one of:

• Ask (ask every time; this is equivalent to true)
• Apply (always apply third-party libraries and set the workspace
  configuration)
• ApplyInMemory (always apply third-party libraries but don't set the
  workspace configuration)
• Disable (don't ask and don't apply; this is equivalent to false)

Backwards compatibility with the old boolean configuration values is maintained; true is treated as Ask and false is treated as Disable.

I need some help translating the Taiwanese, Mandarin, and Portugese, but I copied the English in there as a standin -- presumably it's better to have some documentation in the wrong language which can be machine-translated than to have missing information.

I've built and tested this on my machine.

[sumneko]

To translate, please modify the file in the locale directory (only need to modify one language file), and then execute the locale and build-doc debugger tasks.

[sumneko]

Do not modify the file format.

[9999years]

Oops, sorry, I have my editor configured to format-on-save with stylua.

[9999years]

How do I execute the build-doc debugger task? I can't seem to run it with lua or luajit:

$ luajit tools/build-doc.lua
luajit: tools/build-doc.lua:3: module 'bee.filesystem' not found:

[sumneko]

Use "./bin/lua-language-server" tools/locale.lua and "./bin/lua-language-server" tools/locale.lua

[9999years]

Thanks! I ran the locale and debugger tasks.

[9999years]

I think this was a typo, it was making the locale script crash.

[sumneko]

I have resolved it, please pull latest commits.

[9999years]

Thanks! Rebased, the diff looks a lot cleaner now.

[sumneko]

Thank you!

[nfwyst]

true/false not working

[schardev]

true/false not working

Yeah. Should've kept it as backwards compatible instead of breaking current setups.

[9999years]

@nfwyst @schardev Hmm, I intended to keep this backwards compatible:

lua-language-server/script/library.lua

Lines 611 to 617 in 3bbc8dd

	local checkThirdParty = config.get(uri, 'Lua.workspace.checkThirdParty')
	-- Backwards compatability: `checkThirdParty` used to be a boolean.
	if not checkThirdParty or checkThirdParty == 'Disable' then
	return
	elseif checkThirdParty == true then
	checkThirdParty = 'Ask'
	end

I think the issue is that the config value is now defined as a string:

lua-language-server/script/config/template.lua

Lines 320 to 325 in 5a763b0

	['Lua.workspace.checkThirdParty'] = Type.String >> 'Ask' << {
	'Ask',
	'Apply',
	'ApplyInMemory',
	'Disable',
	},

So when the config is loaded as a boolean, it gets converted to a string:

lua-language-server/script/config/template.lua

Lines 81 to 85 in 5a763b0

	register('String', '', function (self, v)
	return type(v) == 'string'
	end, function (self, v)
	return tostring(v)
	end)

[9999years]

Attempted fix in #2406 but I haven't tested it yet.