From 8c841b4884e87972e01ac76665e05108f9c249d8 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Tue, 8 May 2007 20:30:00 +0000
Subject: [PATCH] Correct tilde expansion

---
 scripts/domtool-addacl | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/scripts/domtool-addacl b/scripts/domtool-addacl
index 7555bb1..732a8e5 100755
--- a/scripts/domtool-addacl
+++ b/scripts/domtool-addacl
@@ -1,7 +1,7 @@
 #!/bin/sh -e
 
 domtool-admin grant $1 user $1
-domtool-admin grant $1 path `echo ~$1`
+domtool-admin grant $1 path `sh -c "echo ~$1"`
 
 # disabled since we want to discourage the use of unix groups
 #domtool-admin grant $1 group $1
\ No newline at end of file
-- 
2.20.1