From 83ddb3e5b276613ad2be190cebf74401daebef03 Mon Sep 17 00:00:00 2001 From: Fred-Barclay Date: Sun, 17 Feb 2019 12:09:02 -0600 Subject: Add alternatives to private-etc for profiles in etc/ See discussion in #2399 --- etc/gnome-maps.profile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'etc/gnome-maps.profile') diff --git a/etc/gnome-maps.profile b/etc/gnome-maps.profile index 2d2f5aa6d..b963c17dd 100644 --- a/etc/gnome-maps.profile +++ b/etc/gnome-maps.profile @@ -38,7 +38,7 @@ tracelog disable-mnt # private-bin gjs gnome-maps private-dev -# private-etc fonts,ca-certificates,ssl,pki,crypto-policies +# private-etc alternatives,fonts,ca-certificates,ssl,pki,crypto-policies private-tmp noexec ${HOME} -- cgit v1.2.3-70-g09d2