diff options
| author |  Kelvin M. Klann <kmk3.code@protonmail.com> | 2023-06-21 01:26:55 -0300 |
|---|---|---|
| committer | Kelvin M. Klann <kmk3.code@protonmail.com> | 2023-06-21 01:55:00 -0300 |
| commit | cb5868f010f884d1bcf7b8b14aa36dbecdc84127 (patch) | |
| tree | d27b28ac013a7350e9fcee7b2a7f340eaff3a364 /etc | |
| parent | profiles: add vmplayer.profile (diff) | |
| download | firejail-cb5868f010f884d1bcf7b8b14aa36dbecdc84127.tar.gz firejail-cb5868f010f884d1bcf7b8b14aa36dbecdc84127.tar.zst firejail-cb5868f010f884d1bcf7b8b14aa36dbecdc84127.zip | |
profiles: vmware: allow devel
It apparently fails on Linux Mint 20.3 (based on Ubuntu 20.04) due to
the "VMWare Kernel Module Updater" being unable to find gcc[1].
Relates to #3526.
[1] https://github.com/netblue30/firejail/issues/5861#issuecomment-1598407890
Reported-by: @MikeNavy
Diffstat (limited to 'etc')
| -rw-r--r-- | etc/profile-m-z/vmware.profile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/etc/profile-m-z/vmware.profile b/etc/profile-m-z/vmware.profile index b3a7df3ac..ed4a47a83 100644 --- a/etc/profile-m-z/vmware.profile +++ b/etc/profile-m-z/vmware.profile | |||
| @@ -11,7 +11,7 @@ noblacklist ${HOME}/.vmware | |||
| 11 | noblacklist /usr/lib/vmware | 11 | noblacklist /usr/lib/vmware |
| 12 | 12 | ||
| 13 | include disable-common.inc | 13 | include disable-common.inc |
| 14 | include disable-devel.inc | 14 | #include disable-devel.inc # gcc is used to compile kernel modules |
| 15 | include disable-exec.inc | 15 | include disable-exec.inc |
| 16 | include disable-interpreters.inc | 16 | include disable-interpreters.inc |
| 17 | include disable-programs.inc | 17 | include disable-programs.inc |