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-pie.profile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'etc/gnome-pie.profile') diff --git a/etc/gnome-pie.profile b/etc/gnome-pie.profile index cef741eb3..01c65a5a4 100644 --- a/etc/gnome-pie.profile +++ b/etc/gnome-pie.profile @@ -34,7 +34,7 @@ shell none disable-mnt private-cache private-dev -private-etc fonts +private-etc alternatives,fonts private-lib gdk-pixbuf-2.*,gio,gvfs/libgvfscommon.so,libgconf-2.so.*,librsvg-2.so.* private-tmp -- cgit v1.2.3-70-g09d2