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/xed.profile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'etc/xed.profile') diff --git a/etc/xed.profile b/etc/xed.profile index 7dffae05a..cd565f684 100644 --- a/etc/xed.profile +++ b/etc/xed.profile @@ -42,7 +42,7 @@ tracelog private-bin xed private-dev -# private-etc fonts +# private-etc alternatives,fonts private-tmp # xed uses python plugins, memory-deny-write-execute breaks python -- cgit v1.2.3-70-g09d2