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
This commit is contained in:
Kelvin M. Klann 2023-06-20 11:48:03 -03:00
parent fc1ec72225
commit 75e3e656ae
2 changed files with 9 additions and 0 deletions

View file

@ -0,0 +1,8 @@
# Firejail profile for vmware-player
# Description: VMWare Workstation Player, used for running virtual machines
# This file is overwritten after every install/update
# Persistent local customizations
include vmplayer.local
# Redirect
include vmware.profile

View file

@ -895,6 +895,7 @@ vivaldi-beta
vivaldi-snapshot
vivaldi-stable
vlc
vmplayer
vmware
vmware-player
vmware-workstation