diff options
author | 2016-08-03 07:55:30 -0400 | |
---|---|---|
committer | 2016-08-03 07:55:30 -0400 | |
commit | ce45908b7c540231a7d44347a14e13285d362e13 (patch) | |
tree | 41192a8e1db5ad5ff246766079093199449ab5fe /src | |
parent | firecfg fix (diff) | |
download | firejail-ce45908b7c540231a7d44347a14e13285d362e13.tar.gz firejail-ce45908b7c540231a7d44347a14e13285d362e13.tar.zst firejail-ce45908b7c540231a7d44347a14e13285d362e13.zip |
fix --blacklist=/proc
Diffstat (limited to 'src')
-rw-r--r-- | src/firejail/sandbox.c | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/src/firejail/sandbox.c b/src/firejail/sandbox.c index 9bf2a0a39..dc107f00a 100644 --- a/src/firejail/sandbox.c +++ b/src/firejail/sandbox.c | |||
@@ -538,6 +538,11 @@ int sandbox(void* sandbox_arg) { | |||
538 | fs_private_tmp(); | 538 | fs_private_tmp(); |
539 | 539 | ||
540 | //**************************** | 540 | //**************************** |
541 | // update /proc, /sys, /dev, /boot directorymy | ||
542 | //**************************** | ||
543 | fs_proc_sys_dev_boot(); | ||
544 | |||
545 | //**************************** | ||
541 | // apply the profile file | 546 | // apply the profile file |
542 | //**************************** | 547 | //**************************** |
543 | if (cfg.profile) { | 548 | if (cfg.profile) { |
@@ -555,11 +560,6 @@ int sandbox(void* sandbox_arg) { | |||
555 | fs_trace(); | 560 | fs_trace(); |
556 | 561 | ||
557 | //**************************** | 562 | //**************************** |
558 | // update /proc, /dev, /boot directorymy | ||
559 | //**************************** | ||
560 | fs_proc_sys_dev_boot(); | ||
561 | |||
562 | //**************************** | ||
563 | // --nosound and fix for pulseaudio 7.0 | 563 | // --nosound and fix for pulseaudio 7.0 |
564 | //**************************** | 564 | //**************************** |
565 | if (arg_nosound) { | 565 | if (arg_nosound) { |