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 netblue30#3526. [1] netblue30#5861 (comment) Reported-by: @MikeNavy
kmk3 · Jun 21, 2023 · 75e3e65 · 75e3e65
1 parent fc1ec72
commit 75e3e65
Show file tree

Hide file tree

Showing 2 changed files with 9 additions and 0 deletions.
diff --git a/etc/profile-m-z/vmplayer.profile b/etc/profile-m-z/vmplayer.profile
@@ -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
diff --git a/src/firecfg/firecfg.config b/src/firecfg/firecfg.config
@@ -895,6 +895,7 @@ vivaldi-beta
 vivaldi-snapshot
 vivaldi-stable
 vlc
+vmplayer
 vmware
 vmware-player
 vmware-workstation