From 75e3e656aec01306841fe64b4e42fb4bfa57f08c Mon Sep 17 00:00:00 2001 From: "Kelvin M. Klann" Date: Tue, 20 Jun 2023 11:48:03 -0300 Subject: 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 --- src/firecfg/firecfg.config | 1 + 1 file changed, 1 insertion(+) (limited to 'src') 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 vivaldi-snapshot vivaldi-stable vlc +vmplayer vmware vmware-player vmware-workstation -- cgit v1.2.3-54-g00ecf