[PR #3159] [MERGED] Add profiles for common (la)tex commands #4662

New issue

Closed

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

gitea-mirror commented

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

Owner

📋 Pull Request Information

Original PR: https://github.com/netblue30/firejail/pull/3159
Author: @diepfote
Created: 1/17/2020
Status: ✅ Merged
Merged: 1/29/2020
Merged by: @undefined

Base: master ← Head: common-latex-profiles

📝 Commits (1)

d26e5f0 Add profiles for common (la)tex commands and a latex editor

📊 Changes

8 files changed (+107 additions, -0 deletions)

View changed files

➕ etc/bibtex.profile (+12 -0)
📝 etc/disable-programs.inc (+1 -0)
➕ etc/gummi.profile (+18 -0)
➕ etc/latex-common.profile (+39 -0)
➕ etc/latex.profile (+12 -0)
➕ etc/pdflatex.profile (+12 -0)
➕ etc/tex.profile (+12 -0)
📝 src/firecfg/firecfg.config (+1 -0)

📄 Description

This is just a suggestion, hope it helps.
Cheers

_{🔄 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/3159 **Author:** [@diepfote](https://github.com/diepfote) **Created:** 1/17/2020 **Status:** ✅ Merged **Merged:** 1/29/2020 **Merged by:** [@undefined](undefined) **Base:** `master` ← **Head:** `common-latex-profiles` --- ### 📝 Commits (1) - [`d26e5f0`](https://github.com/netblue30/firejail/commit/d26e5f07e7b917f9822756003b1ccc2906405b06) Add profiles for common (la)tex commands and a latex editor ### 📊 Changes **8 files changed** (+107 additions, -0 deletions) <details> <summary>View changed files</summary> ➕ `etc/bibtex.profile` (+12 -0) 📝 `etc/disable-programs.inc` (+1 -0) ➕ `etc/gummi.profile` (+18 -0) ➕ `etc/latex-common.profile` (+39 -0) ➕ `etc/latex.profile` (+12 -0) ➕ `etc/pdflatex.profile` (+12 -0) ➕ `etc/tex.profile` (+12 -0) 📝 `src/firecfg/firecfg.config` (+1 -0) </details> ### 📄 Description This is just a suggestion, hope it helps. Cheers --- <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:17 -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#4662

No description provided.

Rows
Columns