Correct tilde expansion
authorAdam Chlipala <adamc@hcoop.net>
Tue, 8 May 2007 20:30:00 +0000 (20:30 +0000)
committerAdam Chlipala <adamc@hcoop.net>
Tue, 8 May 2007 20:30:00 +0000 (20:30 +0000)
scripts/domtool-addacl

index 7555bb1..732a8e5 100755 (executable)
@@ -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