doc #4682

New issue

Closed

opened 2026-05-05 10:24:40 -06:00 by gitea-mirror · 0 comments

gitea-mirror commented

2026-05-05 10:24:40 -06:00

Owner

📋 Pull Request Information

Original PR: https://github.com/netblue30/firejail/pull/3194
Author: @reinerh
Created: 1/28/2020
Status: ✅ Merged
Merged: 1/31/2020
Merged by: @reinerh

Base: master ← Head: whitelist_doc

📝 Commits (1)

32cd2de profiles: whitelist /usr/share/doc in some profiles

📊 Changes

5 files changed (+7 additions, -0 deletions)

View changed files

📝 etc/devhelp.profile (+2 -0)
📝 etc/evince.profile (+1 -0)
📝 etc/firefox.profile (+2 -0)
📝 etc/yelp.profile (+1 -0)
📝 etc/zathura.profile (+1 -0)

📄 Description

It contains documentation and example files for installed programs and libraries.

I'm not sure if it should be allowed here globally, or in individual profiles, where it makes sense.
(For example in browsers, which are often used for reading documentation from there.)

Reported at: https://bugs.debian.org/950007

_{🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.}

## 📋 Pull Request Information **Original PR:** https://github.com/netblue30/firejail/pull/3194 **Author:** [@reinerh](https://github.com/reinerh) **Created:** 1/28/2020 **Status:** ✅ Merged **Merged:** 1/31/2020 **Merged by:** [@reinerh](https://github.com/reinerh) **Base:** `master` ← **Head:** `whitelist_doc` --- ### 📝 Commits (1) - [`32cd2de`](https://github.com/netblue30/firejail/commit/32cd2de28244677aae55480e46221c169b721eb9) profiles: whitelist /usr/share/doc in some profiles ### 📊 Changes **5 files changed** (+7 additions, -0 deletions) <details> <summary>View changed files</summary> 📝 `etc/devhelp.profile` (+2 -0) 📝 `etc/evince.profile` (+1 -0) 📝 `etc/firefox.profile` (+2 -0) 📝 `etc/yelp.profile` (+1 -0) 📝 `etc/zathura.profile` (+1 -0) </details> ### 📄 Description It contains documentation and example files for installed programs and libraries. I'm not sure if it should be allowed here globally, or in individual profiles, where it makes sense. (For example in browsers, which are often used for reading documentation from there.) Reported at: https://bugs.debian.org/950007 --- <sub>🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.</sub>

gitea-mirror

2026-05-05 10:24:40 -06:00

closed this issue
added the
pull-request
label

No milestone

No project

No assignees

1 participant

Notifications

Due date

The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set.

Reference: github-starred/firejail#4682

No description provided.

Rows
Columns