1 /* SPDX-License-Identifier: LGPL-2.1+ */
5 #include "alloc-util.h"
7 #include "analyze-verify.h"
13 #include "path-util.h"
15 #include "unit-name.h"
17 static int prepare_filename(const char *filename
, char **ret
) {
20 _cleanup_free_
char *abspath
= NULL
;
21 _cleanup_free_
char *dir
= NULL
;
22 _cleanup_free_
char *with_instance
= NULL
;
28 r
= path_make_absolute_cwd(filename
, &abspath
);
32 name
= basename(abspath
);
33 if (!unit_name_is_valid(name
, UNIT_NAME_ANY
))
36 if (unit_name_is_valid(name
, UNIT_NAME_TEMPLATE
)) {
37 r
= unit_name_replace_instance(name
, "i", &with_instance
);
42 dir
= dirname_malloc(abspath
);
46 c
= path_join(dir
, with_instance
?: name
);
54 static int generate_path(char **var
, char **filenames
) {
58 _cleanup_strv_free_
char **ans
= NULL
;
61 STRV_FOREACH(filename
, filenames
) {
64 t
= dirname_malloc(*filename
);
68 r
= strv_consume(&ans
, t
);
73 assert_se(strv_uniq(ans
));
75 /* First, prepend our directories. Second, if some path was specified, use that, and
76 * otherwise use the defaults. Any duplicates will be filtered out in path-lookup.c.
77 * Treat explicit empty path to mean that nothing should be appended.
79 old
= getenv("SYSTEMD_UNIT_PATH");
80 if (!streq_ptr(old
, "")) {
84 r
= strv_extend(&ans
, old
);
89 *var
= strv_join(ans
, ":");
96 static int verify_socket(Unit
*u
) {
101 if (u
->type
!= UNIT_SOCKET
)
104 /* Cannot run this without the service being around */
106 /* This makes sure instance is created if necessary. */
107 r
= socket_instantiate_service(SOCKET(u
));
109 return log_unit_error_errno(u
, r
, "Socket cannot be started, failed to create instance: %m");
111 /* This checks both type of sockets */
112 if (UNIT_ISSET(SOCKET(u
)->service
)) {
115 service
= SERVICE(UNIT_DEREF(SOCKET(u
)->service
));
116 log_unit_debug(u
, "Using %s", UNIT(service
)->id
);
118 if (UNIT(service
)->load_state
!= UNIT_LOADED
) {
119 log_unit_error(u
, "Service %s not loaded, %s cannot be started.", UNIT(service
)->id
, u
->id
);
127 static int verify_executable(Unit
*u
, ExecCommand
*exec
) {
131 if (access(exec
->path
, X_OK
) < 0)
132 return log_unit_error_errno(u
, errno
, "Command %s is not executable: %m", exec
->path
);
137 static int verify_executables(Unit
*u
) {
144 exec
= u
->type
== UNIT_SOCKET
? SOCKET(u
)->control_command
:
145 u
->type
== UNIT_MOUNT
? MOUNT(u
)->control_command
:
146 u
->type
== UNIT_SWAP
? SWAP(u
)->control_command
: NULL
;
147 k
= verify_executable(u
, exec
);
151 if (u
->type
== UNIT_SERVICE
)
152 for (i
= 0; i
< ELEMENTSOF(SERVICE(u
)->exec_command
); i
++) {
153 k
= verify_executable(u
, SERVICE(u
)->exec_command
[i
]);
158 if (u
->type
== UNIT_SOCKET
)
159 for (i
= 0; i
< ELEMENTSOF(SOCKET(u
)->exec_command
); i
++) {
160 k
= verify_executable(u
, SOCKET(u
)->exec_command
[i
]);
168 static int verify_documentation(Unit
*u
, bool check_man
) {
172 STRV_FOREACH(p
, u
->documentation
) {
173 log_unit_debug(u
, "Found documentation item: %s", *p
);
175 if (check_man
&& startswith(*p
, "man:")) {
176 k
= show_man_page(*p
+ 4, true);
179 log_unit_error_errno(u
, k
, "Can't show %s: %m", *p
+ 4);
181 log_unit_error(u
, "Command 'man %s' failed with code %d", *p
+ 4, k
);
190 /* Check remote URLs? */
195 static int verify_unit(Unit
*u
, bool check_man
) {
196 _cleanup_(sd_bus_error_free
) sd_bus_error err
= SD_BUS_ERROR_NULL
;
202 unit_dump(u
, stdout
, "\t");
204 log_unit_debug(u
, "Creating %s/start job", u
->id
);
205 r
= manager_add_job(u
->manager
, JOB_START
, u
, JOB_REPLACE
, &err
, NULL
);
207 log_unit_error_errno(u
, r
, "Failed to create %s/start: %s", u
->id
, bus_error_message(&err
, r
));
209 k
= verify_socket(u
);
213 k
= verify_executables(u
);
217 k
= verify_documentation(u
, check_man
);
224 int verify_units(char **filenames
, UnitFileScope scope
, bool check_man
, bool run_generators
) {
225 const ManagerTestRunFlags flags
=
226 MANAGER_TEST_RUN_BASIC
|
227 MANAGER_TEST_RUN_ENV_GENERATORS
|
228 run_generators
* MANAGER_TEST_RUN_GENERATORS
;
230 _cleanup_(manager_freep
) Manager
*m
= NULL
;
231 Unit
*units
[strv_length(filenames
)];
232 _cleanup_free_
char *var
= NULL
;
233 int r
= 0, k
, i
, count
= 0;
236 if (strv_isempty(filenames
))
240 r
= generate_path(&var
, filenames
);
242 return log_error_errno(r
, "Failed to generate unit load path: %m");
244 assert_se(set_unit_path(var
) >= 0);
246 r
= manager_new(scope
, flags
, &m
);
248 return log_error_errno(r
, "Failed to initialize manager: %m");
250 log_debug("Starting manager...");
252 r
= manager_startup(m
, NULL
, NULL
);
256 manager_clear_jobs(m
);
258 log_debug("Loading remaining units from the command line...");
260 STRV_FOREACH(filename
, filenames
) {
261 _cleanup_free_
char *prepared
= NULL
;
263 log_debug("Handling %s...", *filename
);
265 k
= prepare_filename(*filename
, &prepared
);
267 log_error_errno(k
, "Failed to prepare filename %s: %m", *filename
);
273 k
= manager_load_startable_unit_or_warn(m
, NULL
, prepared
, &units
[count
]);
280 for (i
= 0; i
< count
; i
++) {
281 k
= verify_unit(units
[i
], check_man
);