diff options
author | 2020-10-01 11:14:48 -0400 | |
---|---|---|
committer | 2020-10-01 11:14:48 -0400 | |
commit | a4e56407fb228e5d8819b1cbf4c0c1ae1e6265d8 (patch) | |
tree | 408e953c7b98137b5b1e7869f1766e24bc29f52e /src | |
parent | don't execute include disable-shell.inc for appimages (#3530) (diff) | |
download | firejail-a4e56407fb228e5d8819b1cbf4c0c1ae1e6265d8.tar.gz firejail-a4e56407fb228e5d8819b1cbf4c0c1ae1e6265d8.tar.zst firejail-a4e56407fb228e5d8819b1cbf4c0c1ae1e6265d8.zip |
some cleanup for the previous commit (#3530)
Diffstat (limited to 'src')
-rw-r--r-- | src/firejail/profile.c | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/src/firejail/profile.c b/src/firejail/profile.c index ea8dfbbe0..793171e1f 100644 --- a/src/firejail/profile.c +++ b/src/firejail/profile.c | |||
@@ -1611,7 +1611,6 @@ void profile_add(char *str) { | |||
1611 | // read a profile file | 1611 | // read a profile file |
1612 | static int include_level = 0; | 1612 | static int include_level = 0; |
1613 | void profile_read(const char *fname) { | 1613 | void profile_read(const char *fname) { |
1614 | printf("fname #%s#\n", fname); | ||
1615 | EUID_ASSERT(); | 1614 | EUID_ASSERT(); |
1616 | 1615 | ||
1617 | // exit program if maximum include level was reached | 1616 | // exit program if maximum include level was reached |
@@ -1648,7 +1647,6 @@ printf("fname #%s#\n", fname); | |||
1648 | } | 1647 | } |
1649 | // --appimage - skip disable-shell.inc file | 1648 | // --appimage - skip disable-shell.inc file |
1650 | if (arg_appimage) { | 1649 | if (arg_appimage) { |
1651 | printf("here %d\n", __LINE__); | ||
1652 | char *tmp = strrchr(fname, '/'); | 1650 | char *tmp = strrchr(fname, '/'); |
1653 | if (tmp && *(tmp + 1) != '\0') { | 1651 | if (tmp && *(tmp + 1) != '\0') { |
1654 | tmp++; | 1652 | tmp++; |
@@ -1656,7 +1654,6 @@ printf("here %d\n", __LINE__); | |||
1656 | return; | 1654 | return; |
1657 | } | 1655 | } |
1658 | } | 1656 | } |
1659 | printf("here %d\n", __LINE__); | ||
1660 | 1657 | ||
1661 | // open profile file: | 1658 | // open profile file: |
1662 | FILE *fp = fopen(fname, "r"); | 1659 | FILE *fp = fopen(fname, "r"); |