diff options
author | 2023-06-20 11:48:03 -0300 | |
---|---|---|
committer | 2023-06-21 01:53:39 -0300 | |
commit | 75e3e656aec01306841fe64b4e42fb4bfa57f08c (patch) | |
tree | 043f36f00c48408cea71c9882ae12f75ebe90d6f /src | |
parent | profiles: fix descriptions of vmware programs (diff) | |
download | firejail-75e3e656aec01306841fe64b4e42fb4bfa57f08c.tar.gz firejail-75e3e656aec01306841fe64b4e42fb4bfa57f08c.tar.zst firejail-75e3e656aec01306841fe64b4e42fb4bfa57f08c.zip |
profiles: add vmplayer.profile
As a redirect to vmware.profile.
This is apparently the filename for the "VMWare Workstation Player" on
Linux Mint 20.3 (based on Ubuntu 20.04)[1].
Relates to #3526.
[1] https://github.com/netblue30/firejail/issues/5861#issuecomment-1598132860
Reported-by: @MikeNavy
Diffstat (limited to 'src')
-rw-r--r-- | src/firecfg/firecfg.config | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/firecfg/firecfg.config b/src/firecfg/firecfg.config index 1e996ef72..7b9fba6ad 100644 --- a/src/firecfg/firecfg.config +++ b/src/firecfg/firecfg.config | |||
@@ -895,6 +895,7 @@ vivaldi-beta | |||
895 | vivaldi-snapshot | 895 | vivaldi-snapshot |
896 | vivaldi-stable | 896 | vivaldi-stable |
897 | vlc | 897 | vlc |
898 | vmplayer | ||
898 | vmware | 899 | vmware |
899 | vmware-player | 900 | vmware-player |
900 | vmware-workstation | 901 | vmware-workstation |