mirror of
https://github.com/netblue30/firejail.git
synced 2026-05-15 14:16:14 -06:00
[PR #5865] [MERGED] profiles: vmware improvements and new redirect #5698
Labels
No labels
LTS merge
LTS merge
bug
bug
converted-to-discussion
doc-todo
documentation
duplicate
enhancement
file-transfer
firecfg
firejail-in-firejail
firetools
graphics
help wanted
information_old
installation
invalid
modif
moved
needinfo
networking
notabug
notourbug
old-version
overlayfs
packaging
profile-request
pull-request
question
question_old
removal
runtime-permissions
sandbox-ipc
security
stale
wiki
wiki
wontfix
wordpress
workaround
No milestone
No project
No assignees
1 participant
Notifications
Due date
No due date set.
Dependencies
No dependencies set.
Reference: github-starred/firejail#5698
Loading…
Add table
Add a link
Reference in a new issue
No description provided.
Delete branch "%!s()"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
📋 Pull Request Information
Original PR: https://github.com/netblue30/firejail/pull/5865
Author: @kmk3
Created: 6/20/2023
Status: ✅ Merged
Merged: 6/23/2023
Merged by: @kmk3
Base:
master← Head:profiles-add-vmplayer📝 Commits (4)
fc1ec72profiles: fix descriptions of vmware programs75e3e65profiles: add vmplayer.profilecb5868fprofiles: vmware: allow develf1594a1profiles: vmware: disable on firecfg📊 Changes
6 files changed (+17 additions, -8 deletions)
View changed files
➕
etc/profile-m-z/vmplayer.profile(+8 -0)📝
etc/profile-m-z/vmware-player.profile(+1 -1)📝
etc/profile-m-z/vmware-view.profile(+1 -1)📝
etc/profile-m-z/vmware-workstation.profile(+1 -1)📝
etc/profile-m-z/vmware.profile(+2 -2)📝
src/firecfg/firecfg.config(+4 -3)📄 Description
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 #5861.
[1] https://github.com/netblue30/firejail/issues/5861#issuecomment-1598132860
Reported-by: @MikeNavy
🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.