diff options
Diffstat (limited to 'src/firejail/profile.c')
| -rw-r--r-- | src/firejail/profile.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/firejail/profile.c b/src/firejail/profile.c index 3a4d74317..b0389fc3f 100644 --- a/src/firejail/profile.c +++ b/src/firejail/profile.c | |||
| @@ -367,7 +367,7 @@ int profile_check_line(char *ptr, int lineno, const char *fname) { | |||
| 367 | return 0; | 367 | return 0; |
| 368 | } | 368 | } |
| 369 | else if (strcmp(ptr, "shell none") == 0) { | 369 | else if (strcmp(ptr, "shell none") == 0) { |
| 370 | arg_shell_none = 1; | 370 | fprintf(stderr, "Warning: \"shell none\" command in the profile file is done by default; the command will be deprecated\n"); |
| 371 | return 0; | 371 | return 0; |
| 372 | } | 372 | } |
| 373 | else if (strcmp(ptr, "tracelog") == 0) { | 373 | else if (strcmp(ptr, "tracelog") == 0) { |