[PR #1034] [MERGED] etc: Support local customizations in *.inc #3831

New issue

Closed

opened 2026-05-05 10:08:41 -06:00 by gitea-mirror · 0 comments

gitea-mirror commented

2026-05-05 10:08:41 -06:00

Owner

📋 Pull Request Information

Original PR: https://github.com/netblue30/firejail/pull/1034
Author: @KellerFuchs
Created: 1/9/2017
Status: ✅ Merged
Merged: 1/11/2017
Merged by: @netblue30

Base: master ← Head: disable-local

📝 Commits (1)

ec719b9 etc: Support local customizations in *.inc

📊 Changes

10 files changed (+20 additions, -0 deletions)

View changed files

📝 etc/disable-common.inc (+3 -0)
➕ etc/disable-common.local (+1 -0)
📝 etc/disable-devel.inc (+3 -0)
➕ etc/disable-devel.local (+1 -0)
📝 etc/disable-passwdmgr.inc (+3 -0)
➕ etc/disable-passwdmgr.local (+1 -0)
📝 etc/disable-programs.inc (+3 -0)
➕ etc/disable-programs.local (+1 -0)
📝 etc/whitelist-common.inc (+3 -0)
➕ etc/whitelist-common.local (+1 -0)

📄 Description

This is useful for places, like hashbang.sh, which have site-specific modifications of the *.inc files.

With the current setup, the package manager cannot automatically install updated versions of those files, as it would need to somehow merge the site-specific and upstream changes. Having the site-specific changes in separate files solves this.

_{🔄 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/1034 **Author:** [@KellerFuchs](https://github.com/KellerFuchs) **Created:** 1/9/2017 **Status:** ✅ Merged **Merged:** 1/11/2017 **Merged by:** [@netblue30](https://github.com/netblue30) **Base:** `master` ← **Head:** `disable-local` --- ### 📝 Commits (1) - [`ec719b9`](https://github.com/netblue30/firejail/commit/ec719b9e0f4f7258b5f752af4857649a34a35dfe) etc: Support local customizations in *.inc ### 📊 Changes **10 files changed** (+20 additions, -0 deletions) <details> <summary>View changed files</summary> 📝 `etc/disable-common.inc` (+3 -0) ➕ `etc/disable-common.local` (+1 -0) 📝 `etc/disable-devel.inc` (+3 -0) ➕ `etc/disable-devel.local` (+1 -0) 📝 `etc/disable-passwdmgr.inc` (+3 -0) ➕ `etc/disable-passwdmgr.local` (+1 -0) 📝 `etc/disable-programs.inc` (+3 -0) ➕ `etc/disable-programs.local` (+1 -0) 📝 `etc/whitelist-common.inc` (+3 -0) ➕ `etc/whitelist-common.local` (+1 -0) </details> ### 📄 Description This is useful for places, like [hashbang.sh](https://hashbang.sh), which have site-specific modifications of the *.inc files. With the current setup, the package manager cannot automatically install updated versions of those files, as it would need to somehow merge the site-specific and upstream changes. Having the site-specific changes in separate files solves this. --- <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:08:41 -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#3831

No description provided.

Rows
Columns