xref: /freebsd-14.2/stand/lua/config.lua (revision ecacf5ff)
1--
2-- SPDX-License-Identifier: BSD-2-Clause-FreeBSD
3--
4-- Copyright (c) 2015 Pedro Souza <[email protected]>
5-- Copyright (c) 2018 Kyle Evans <[email protected]>
6-- All rights reserved.
7--
8-- Redistribution and use in source and binary forms, with or without
9-- modification, are permitted provided that the following conditions
10-- are met:
11-- 1. Redistributions of source code must retain the above copyright
12--    notice, this list of conditions and the following disclaimer.
13-- 2. Redistributions in binary form must reproduce the above copyright
14--    notice, this list of conditions and the following disclaimer in the
15--    documentation and/or other materials provided with the distribution.
16--
17-- THIS SOFTWARE IS PROVIDED BY THE AUTHOR AND CONTRIBUTORS ``AS IS'' AND
18-- ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
19-- IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
20-- ARE DISCLAIMED.  IN NO EVENT SHALL THE AUTHOR OR CONTRIBUTORS BE LIABLE
21-- FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
22-- DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
23-- OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
24-- HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
25-- LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
26-- OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
27-- SUCH DAMAGE.
28--
29-- $FreeBSD$
30--
31
32local hook = require("hook")
33
34local config = {}
35local modules = {}
36local carousel_choices = {}
37-- Which variables we changed
38local env_changed = {}
39-- Values to restore env to (nil to unset)
40local env_restore = {}
41
42local MSG_FAILEXEC = "Failed to exec '%s'"
43local MSG_FAILSETENV = "Failed to '%s' with value: %s"
44local MSG_FAILOPENCFG = "Failed to open config: '%s'"
45local MSG_FAILREADCFG = "Failed to read config: '%s'"
46local MSG_FAILPARSECFG = "Failed to parse config: '%s'"
47local MSG_FAILEXBEF = "Failed to execute '%s' before loading '%s'"
48local MSG_FAILEXAF = "Failed to execute '%s' after loading '%s'"
49local MSG_MALFORMED = "Malformed line (%d):\n\t'%s'"
50local MSG_DEFAULTKERNFAIL = "No kernel set, failed to load from module_path"
51local MSG_KERNFAIL = "Failed to load kernel '%s'"
52local MSG_XENKERNFAIL = "Failed to load Xen kernel '%s'"
53local MSG_XENKERNLOADING = "Loading Xen kernel..."
54local MSG_KERNLOADING = "Loading kernel..."
55local MSG_MODLOADING = "Loading configured modules..."
56local MSG_MODBLACKLIST = "Not loading blacklisted module '%s'"
57
58local MODULEEXPR = '([%w-_]+)'
59local QVALEXPR = "\"([%w%s%p]-)\""
60local QVALREPL = QVALEXPR:gsub('%%', '%%%%')
61local WORDEXPR = "([%w]+)"
62local WORDREPL = WORDEXPR:gsub('%%', '%%%%')
63
64local function restoreEnv()
65	-- Examine changed environment variables
66	for k, v in pairs(env_changed) do
67		local restore_value = env_restore[k]
68		if restore_value == nil then
69			-- This one doesn't need restored for some reason
70			goto continue
71		end
72		local current_value = loader.getenv(k)
73		if current_value ~= v then
74			-- This was overwritten by some action taken on the menu
75			-- most likely; we'll leave it be.
76			goto continue
77		end
78		restore_value = restore_value.value
79		if restore_value ~= nil then
80			loader.setenv(k, restore_value)
81		else
82			loader.unsetenv(k)
83		end
84		::continue::
85	end
86
87	env_changed = {}
88	env_restore = {}
89end
90
91local function setEnv(key, value)
92	-- Track the original value for this if we haven't already
93	if env_restore[key] == nil then
94		env_restore[key] = {value = loader.getenv(key)}
95	end
96
97	env_changed[key] = value
98
99	return loader.setenv(key, value)
100end
101
102-- name here is one of 'name', 'type', flags', 'before', 'after', or 'error.'
103-- These are set from lines in loader.conf(5): ${key}_${name}="${value}" where
104-- ${key} is a module name.
105local function setKey(key, name, value)
106	if modules[key] == nil then
107		modules[key] = {}
108	end
109	modules[key][name] = value
110end
111
112-- Escapes the named value for use as a literal in a replacement pattern.
113-- e.g. dhcp.host-name gets turned into dhcp%.host%-name to remove the special
114-- meaning.
115local function escapeName(name)
116	return name:gsub("([%p])", "%%%1")
117end
118
119local function processEnvVar(value)
120	for name in value:gmatch("${([^}]+)}") do
121		local replacement = loader.getenv(name) or ""
122		value = value:gsub("${" .. escapeName(name) .. "}", replacement)
123	end
124	for name in value:gmatch("$([%w%p]+)%s*") do
125		local replacement = loader.getenv(name) or ""
126		value = value:gsub("$" .. escapeName(name), replacement)
127	end
128	return value
129end
130
131local function checkPattern(line, pattern)
132	local function _realCheck(_line, _pattern)
133		return _line:match(_pattern)
134	end
135
136	if pattern:find('$VALUE') then
137		local k, v, c
138		k, v, c = _realCheck(line, pattern:gsub('$VALUE', QVALREPL))
139		if k ~= nil then
140			return k,v, c
141		end
142		return _realCheck(line, pattern:gsub('$VALUE', WORDREPL))
143	else
144		return _realCheck(line, pattern)
145	end
146end
147
148-- str in this table is a regex pattern.  It will automatically be anchored to
149-- the beginning of a line and any preceding whitespace will be skipped.  The
150-- pattern should have no more than two captures patterns, which correspond to
151-- the two parameters (usually 'key' and 'value') that are passed to the
152-- process function.  All trailing characters will be validated.  Any $VALUE
153-- token included in a pattern will be tried first with a quoted value capture
154-- group, then a single-word value capture group.  This is our kludge for Lua
155-- regex not supporting branching.
156--
157-- We have two special entries in this table: the first is the first entry,
158-- a full-line comment.  The second is for 'exec' handling.  Both have a single
159-- capture group, but the difference is that the full-line comment pattern will
160-- match the entire line.  This does not run afoul of the later end of line
161-- validation that we'll do after a match.  However, the 'exec' pattern will.
162-- We document the exceptions with a special 'groups' index that indicates
163-- the number of capture groups, if not two.  We'll use this later to do
164-- validation on the proper entry.
165--
166local pattern_table = {
167	{
168		str = "(#.*)",
169		process = function(_, _)  end,
170		groups = 1,
171	},
172	--  module_load="value"
173	{
174		str = MODULEEXPR .. "_load%s*=%s*$VALUE",
175		process = function(k, v)
176			if modules[k] == nil then
177				modules[k] = {}
178			end
179			modules[k].load = v:upper()
180		end,
181	},
182	--  module_name="value"
183	{
184		str = MODULEEXPR .. "_name%s*=%s*$VALUE",
185		process = function(k, v)
186			setKey(k, "name", v)
187		end,
188	},
189	--  module_type="value"
190	{
191		str = MODULEEXPR .. "_type%s*=%s*$VALUE",
192		process = function(k, v)
193			setKey(k, "type", v)
194		end,
195	},
196	--  module_flags="value"
197	{
198		str = MODULEEXPR .. "_flags%s*=%s*$VALUE",
199		process = function(k, v)
200			setKey(k, "flags", v)
201		end,
202	},
203	--  module_before="value"
204	{
205		str = MODULEEXPR .. "_before%s*=%s*$VALUE",
206		process = function(k, v)
207			setKey(k, "before", v)
208		end,
209	},
210	--  module_after="value"
211	{
212		str = MODULEEXPR .. "_after%s*=%s*$VALUE",
213		process = function(k, v)
214			setKey(k, "after", v)
215		end,
216	},
217	--  module_error="value"
218	{
219		str = MODULEEXPR .. "_error%s*=%s*$VALUE",
220		process = function(k, v)
221			setKey(k, "error", v)
222		end,
223	},
224	--  exec="command"
225	{
226		str = "exec%s*=%s*" .. QVALEXPR,
227		process = function(k, _)
228			if cli_execute_unparsed(k) ~= 0 then
229				print(MSG_FAILEXEC:format(k))
230			end
231		end,
232		groups = 1,
233	},
234	--  env_var="value"
235	{
236		str = "([%w%p]+)%s*=%s*$VALUE",
237		process = function(k, v)
238			if setEnv(k, processEnvVar(v)) ~= 0 then
239				print(MSG_FAILSETENV:format(k, v))
240			end
241		end,
242	},
243	--  env_var=num
244	{
245		str = "([%w%p]+)%s*=%s*(-?%d+)",
246		process = function(k, v)
247			if setEnv(k, processEnvVar(v)) ~= 0 then
248				print(MSG_FAILSETENV:format(k, tostring(v)))
249			end
250		end,
251	},
252}
253
254local function isValidComment(line)
255	if line ~= nil then
256		local s = line:match("^%s*#.*")
257		if s == nil then
258			s = line:match("^%s*$")
259		end
260		if s == nil then
261			return false
262		end
263	end
264	return true
265end
266
267local function getBlacklist()
268	local blacklist = {}
269	local blacklist_str = loader.getenv('module_blacklist')
270	if blacklist_str == nil then
271		return blacklist
272	end
273
274	for mod in blacklist_str:gmatch("[;, ]?([%w-_]+)[;, ]?") do
275		blacklist[mod] = true
276	end
277	return blacklist
278end
279
280local function loadModule(mod, silent)
281	local status = true
282	local blacklist = getBlacklist()
283	local pstatus
284	for k, v in pairs(mod) do
285		if v.load ~= nil and v.load:lower() == "yes" then
286			local module_name = v.name or k
287			if blacklist[module_name] ~= nil then
288				if not silent then
289					print(MSG_MODBLACKLIST:format(module_name))
290				end
291				goto continue
292			end
293			if not silent then
294				loader.printc(module_name .. "...")
295			end
296			local str = "load "
297			if v.type ~= nil then
298				str = str .. "-t " .. v.type .. " "
299			end
300			str = str .. module_name
301			if v.flags ~= nil then
302				str = str .. " " .. v.flags
303			end
304			if v.before ~= nil then
305				pstatus = cli_execute_unparsed(v.before) == 0
306				if not pstatus and not silent then
307					print(MSG_FAILEXBEF:format(v.before, k))
308				end
309				status = status and pstatus
310			end
311
312			if cli_execute_unparsed(str) ~= 0 then
313				-- XXX Temporary shim: don't break the boot if
314				-- loader hadn't been recompiled with this
315				-- function exposed.
316				if loader.command_error then
317					print(loader.command_error())
318				end
319				if not silent then
320					print("failed!")
321				end
322				if v.error ~= nil then
323					cli_execute_unparsed(v.error)
324				end
325				status = false
326			elseif v.after ~= nil then
327				pstatus = cli_execute_unparsed(v.after) == 0
328				if not pstatus and not silent then
329					print(MSG_FAILEXAF:format(v.after, k))
330				end
331				if not silent then
332					print("ok")
333				end
334				status = status and pstatus
335			end
336		end
337		::continue::
338	end
339
340	return status
341end
342
343local function readConfFiles(loaded_files)
344	local f = loader.getenv("loader_conf_files")
345	if f ~= nil then
346		local prefiles = f
347		for name in f:gmatch("([%w%p]+)%s*") do
348			if loaded_files[name] ~= nil then
349				goto continue
350			end
351
352			print("Loading " .. name)
353			-- These may or may not exist, and that's ok. Do a
354			-- silent parse so that we complain on parse errors but
355			-- not for them simply not existing.
356			if not config.processFile(name, true) then
357				print(MSG_FAILPARSECFG:format(name))
358			end
359
360			loaded_files[name] = true
361			local newfiles = loader.getenv("loader_conf_files")
362			if prefiles ~= newfiles then
363				-- Recurse; process the new files immediately.
364				-- If we come back and it turns out we've
365				-- already loaded the rest of what was in the
366				-- original loader_conf_files, no big deal.
367				readConfFiles(loaded_files)
368				prefiles = newfiles
369			end
370			::continue::
371		end
372	end
373end
374
375local function readFile(name, silent)
376	local f = io.open(name)
377	if f == nil then
378		if not silent then
379			print(MSG_FAILOPENCFG:format(name))
380		end
381		return nil
382	end
383
384	local text, _ = io.read(f)
385	-- We might have read in the whole file, this won't be needed any more.
386	io.close(f)
387
388	if text == nil and not silent then
389		print(MSG_FAILREADCFG:format(name))
390	end
391	return text
392end
393
394local function checkNextboot()
395	local nextboot_file = loader.getenv("nextboot_conf")
396	if nextboot_file == nil then
397		return
398	end
399
400	local text = readFile(nextboot_file, true)
401	if text == nil then
402		return
403	end
404
405	if text:match("^nextboot_enable=\"NO\"") ~= nil then
406		-- We're done; nextboot is not enabled
407		return
408	end
409
410	if not config.parse(text) then
411		print(MSG_FAILPARSECFG:format(nextboot_file))
412	end
413
414	-- Attempt to rewrite the first line and only the first line of the
415	-- nextboot_file. We overwrite it with nextboot_enable="NO", then
416	-- check for that on load.
417	-- It's worth noting that this won't work on every filesystem, so we
418	-- won't do anything notable if we have any errors in this process.
419	local nfile = io.open(nextboot_file, 'w')
420	if nfile ~= nil then
421		-- We need the trailing space here to account for the extra
422		-- character taken up by the string nextboot_enable="YES"
423		-- Or new end quotation mark lands on the S, and we want to
424		-- rewrite the entirety of the first line.
425		io.write(nfile, "nextboot_enable=\"NO\" ")
426		io.close(nfile)
427	end
428end
429
430-- Module exports
431config.verbose = false
432
433-- The first item in every carousel is always the default item.
434function config.getCarouselIndex(id)
435	return carousel_choices[id] or 1
436end
437
438function config.setCarouselIndex(id, idx)
439	carousel_choices[id] = idx
440end
441
442-- Returns true if we processed the file successfully, false if we did not.
443-- If 'silent' is true, being unable to read the file is not considered a
444-- failure.
445function config.processFile(name, silent)
446	if silent == nil then
447		silent = false
448	end
449
450	local text = readFile(name, silent)
451	if text == nil then
452		return silent
453	end
454
455	return config.parse(text)
456end
457
458-- silent runs will not return false if we fail to open the file
459function config.parse(text)
460	local n = 1
461	local status = true
462
463	for line in text:gmatch("([^\n]+)") do
464		if line:match("^%s*$") == nil then
465			for _, val in ipairs(pattern_table) do
466				local pattern = '^%s*' .. val.str .. '%s*(.*)';
467				local cgroups = val.groups or 2
468				local k, v, c = checkPattern(line, pattern)
469				if k ~= nil then
470					-- Offset by one, drats
471					if cgroups == 1 then
472						c = v
473						v = nil
474					end
475
476					if isValidComment(c) then
477						val.process(k, v)
478						goto nextline
479					end
480
481					break
482				end
483			end
484
485			print(MSG_MALFORMED:format(n, line))
486			status = false
487		end
488		::nextline::
489		n = n + 1
490	end
491
492	return status
493end
494
495-- other_kernel is optionally the name of a kernel to load, if not the default
496-- or autoloaded default from the module_path
497function config.loadKernel(other_kernel)
498	local flags = loader.getenv("kernel_options") or ""
499	local kernel = other_kernel or loader.getenv("kernel")
500
501	local function tryLoad(names)
502		for name in names:gmatch("([^;]+)%s*;?") do
503			local r = loader.perform("load " .. name ..
504			     " " .. flags)
505			if r == 0 then
506				return name
507			end
508		end
509		return nil
510	end
511
512	local function getModulePath()
513		local module_path = loader.getenv("module_path")
514		local kernel_path = loader.getenv("kernel_path")
515
516		if kernel_path == nil then
517			return module_path
518		end
519
520		-- Strip the loaded kernel path from module_path. This currently assumes
521		-- that the kernel path will be prepended to the module_path when it's
522		-- found.
523		kernel_path = escapeName(kernel_path .. ';')
524		return module_path:gsub(kernel_path, '')
525	end
526
527	local function loadBootfile()
528		local bootfile = loader.getenv("bootfile")
529
530		-- append default kernel name
531		if bootfile == nil then
532			bootfile = "kernel"
533		else
534			bootfile = bootfile .. ";kernel"
535		end
536
537		return tryLoad(bootfile)
538	end
539
540	-- kernel not set, try load from default module_path
541	if kernel == nil then
542		local res = loadBootfile()
543
544		if res ~= nil then
545			-- Default kernel is loaded
546			config.kernel_loaded = nil
547			return true
548		else
549			print(MSG_DEFAULTKERNFAIL)
550			return false
551		end
552	else
553		-- Use our cached module_path, so we don't end up with multiple
554		-- automatically added kernel paths to our final module_path
555		local module_path = getModulePath()
556		local res
557
558		if other_kernel ~= nil then
559			kernel = other_kernel
560		end
561		-- first try load kernel with module_path = /boot/${kernel}
562		-- then try load with module_path=${kernel}
563		local paths = {"/boot/" .. kernel, kernel}
564
565		for _, v in pairs(paths) do
566			loader.setenv("module_path", v)
567			res = loadBootfile()
568
569			-- succeeded, add path to module_path
570			if res ~= nil then
571				config.kernel_loaded = kernel
572				if module_path ~= nil then
573					loader.setenv("module_path", v .. ";" ..
574					    module_path)
575					loader.setenv("kernel_path", v)
576				end
577				return true
578			end
579		end
580
581		-- failed to load with ${kernel} as a directory
582		-- try as a file
583		res = tryLoad(kernel)
584		if res ~= nil then
585			config.kernel_loaded = kernel
586			return true
587		else
588			print(MSG_KERNFAIL:format(kernel))
589			return false
590		end
591	end
592end
593
594function config.selectKernel(kernel)
595	config.kernel_selected = kernel
596end
597
598function config.load(file, reloading)
599	if not file then
600		file = "/boot/defaults/loader.conf"
601	end
602
603	if not config.processFile(file) then
604		print(MSG_FAILPARSECFG:format(file))
605	end
606
607	local loaded_files = {file = true}
608	readConfFiles(loaded_files)
609
610	checkNextboot()
611
612	local verbose = loader.getenv("verbose_loading") or "no"
613	config.verbose = verbose:lower() == "yes"
614	if not reloading then
615		hook.runAll("config.loaded")
616	end
617end
618
619-- Reload configuration
620function config.reload(file)
621	modules = {}
622	restoreEnv()
623	config.load(file, true)
624	hook.runAll("config.reloaded")
625end
626
627function config.loadelf()
628	local xen_kernel = loader.getenv('xen_kernel')
629	local kernel = config.kernel_selected or config.kernel_loaded
630	local status
631
632	if xen_kernel ~= nil then
633		print(MSG_XENKERNLOADING)
634		if cli_execute_unparsed('load ' .. xen_kernel) ~= 0 then
635			print(MSG_XENKERNFAIL:format(xen_kernel))
636			return false
637		end
638	end
639	print(MSG_KERNLOADING)
640	if not config.loadKernel(kernel) then
641		return false
642	end
643	hook.runAll("kernel.loaded")
644
645	print(MSG_MODLOADING)
646	status = loadModule(modules, not config.verbose)
647	hook.runAll("modules.loaded")
648	return status
649end
650
651hook.registerType("config.loaded")
652hook.registerType("config.reloaded")
653hook.registerType("kernel.loaded")
654hook.registerType("modules.loaded")
655return config
656