diff options
Diffstat (limited to 'etc/profile-a-l/Builder.profile')
| -rw-r--r-- | etc/profile-a-l/Builder.profile | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/etc/profile-a-l/Builder.profile b/etc/profile-a-l/Builder.profile index 54b437441..a010e84dc 100644 --- a/etc/profile-a-l/Builder.profile +++ b/etc/profile-a-l/Builder.profile | |||
| @@ -1,6 +1,9 @@ | |||
| 1 | # Firejail profile for gnome-builder | 1 | # Firejail profile for gnome-builder |
| 2 | # This file is overwritten after every install/update | 2 | # This file is overwritten after every install/update |
| 3 | 3 | ||
| 4 | # Persistent local customizations | ||
| 5 | include Builder.local | ||
| 6 | |||
| 4 | # Temporary fix for https://github.com/netblue30/firejail/issues/2624 | 7 | # Temporary fix for https://github.com/netblue30/firejail/issues/2624 |
| 5 | # Redirect | 8 | # Redirect |
| 6 | include gnome-builder.profile | 9 | include gnome-builder.profile |