diff options
Diffstat (limited to 'src/firejail/firejail.h')
-rw-r--r-- | src/firejail/firejail.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/firejail/firejail.h b/src/firejail/firejail.h index bb16ea42b..b19aded44 100644 --- a/src/firejail/firejail.h +++ b/src/firejail/firejail.h | |||
@@ -361,6 +361,7 @@ extern int arg_disable_mnt; // disable /mnt and /media | |||
361 | extern int arg_noprofile; // use default.profile if none other found/specified | 361 | extern int arg_noprofile; // use default.profile if none other found/specified |
362 | extern int arg_memory_deny_write_execute; // block writable and executable memory | 362 | extern int arg_memory_deny_write_execute; // block writable and executable memory |
363 | extern int arg_notv; // --notv | 363 | extern int arg_notv; // --notv |
364 | extern int arg_nodvd; // --nodvd | ||
364 | 365 | ||
365 | extern int login_shell; | 366 | extern int login_shell; |
366 | extern int parent_to_child_fds[2]; | 367 | extern int parent_to_child_fds[2]; |
@@ -514,6 +515,7 @@ void fs_dev_disable_sound(void); | |||
514 | void fs_dev_disable_3d(void); | 515 | void fs_dev_disable_3d(void); |
515 | void fs_dev_disable_video(void); | 516 | void fs_dev_disable_video(void); |
516 | void fs_dev_disable_tv(void); | 517 | void fs_dev_disable_tv(void); |
518 | void fs_dev_disable_dvd(void); | ||
517 | 519 | ||
518 | // fs_home.c | 520 | // fs_home.c |
519 | // private mode (--private) | 521 | // private mode (--private) |