diff options
Diffstat (limited to 'src/firejail/main.c')
-rw-r--r-- | src/firejail/main.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/firejail/main.c b/src/firejail/main.c index e39a41502..1c1c3a08f 100644 --- a/src/firejail/main.c +++ b/src/firejail/main.c | |||
@@ -1226,8 +1226,8 @@ int main(int argc, char **argv) { | |||
1226 | fprintf(stderr, "Warning: default profile disabled by --chroot option\n"); | 1226 | fprintf(stderr, "Warning: default profile disabled by --chroot option\n"); |
1227 | else if (arg_overlay) | 1227 | else if (arg_overlay) |
1228 | fprintf(stderr, "Warning: default profile disabled by --overlay option\n"); | 1228 | fprintf(stderr, "Warning: default profile disabled by --overlay option\n"); |
1229 | else if (cfg.home_private_keep) | 1229 | // else if (cfg.home_private_keep) |
1230 | fprintf(stderr, "Warning: default profile disabled by --private-home option\n"); | 1230 | // fprintf(stderr, "Warning: default profile disabled by --private-home option\n"); |
1231 | else { | 1231 | else { |
1232 | // try to load a default profile | 1232 | // try to load a default profile |
1233 | char *profile_name = DEFAULT_USER_PROFILE; | 1233 | char *profile_name = DEFAULT_USER_PROFILE; |