diff options
Diffstat (limited to 'src/firejail/main.c')
-rw-r--r-- | src/firejail/main.c | 20 |
1 files changed, 1 insertions, 19 deletions
diff --git a/src/firejail/main.c b/src/firejail/main.c index 3e092a3cc..0651e2f0a 100644 --- a/src/firejail/main.c +++ b/src/firejail/main.c | |||
@@ -1469,25 +1469,7 @@ int main(int argc, char **argv) { | |||
1469 | fprintf(stderr, "Error: please use --profile after --ignore\n"); | 1469 | fprintf(stderr, "Error: please use --profile after --ignore\n"); |
1470 | exit(1); | 1470 | exit(1); |
1471 | } | 1471 | } |
1472 | 1472 | profile_add_ignore(argv[i] + 9); | |
1473 | if (*(argv[i] + 9) == '\0') { | ||
1474 | fprintf(stderr, "Error: invalid ignore option\n"); | ||
1475 | exit(1); | ||
1476 | } | ||
1477 | |||
1478 | // find an empty entry in profile_ignore array | ||
1479 | int j; | ||
1480 | for (j = 0; j < MAX_PROFILE_IGNORE; j++) { | ||
1481 | if (cfg.profile_ignore[j] == NULL) | ||
1482 | break; | ||
1483 | } | ||
1484 | if (j >= MAX_PROFILE_IGNORE) { | ||
1485 | fprintf(stderr, "Error: maximum %d --ignore options are permitted\n", MAX_PROFILE_IGNORE); | ||
1486 | exit(1); | ||
1487 | } | ||
1488 | // ... and configure it | ||
1489 | else | ||
1490 | cfg.profile_ignore[j] = argv[i] + 9; | ||
1491 | } | 1473 | } |
1492 | #ifdef HAVE_CHROOT | 1474 | #ifdef HAVE_CHROOT |
1493 | else if (strncmp(argv[i], "--chroot=", 9) == 0) { | 1475 | else if (strncmp(argv[i], "--chroot=", 9) == 0) { |