# HG changeset patch
# User wenzelm
# Date 1477335147 -7200
# Node ID e936967c2a06de94f26b348f8fd3bec552d56501
# Parent  d072d327b9b2a095070aecc3b8a023128aa65ab3
proper default Windows ACLs, e.g. relevant when the bundle is placed into the root directory of a volume;

diff -r d072d327b9b2 -r e936967c2a06 Admin/Windows/Cygwin/isabelle/postinstall
--- a/Admin/Windows/Cygwin/isabelle/postinstall	Mon Oct 24 20:13:01 2016 +0200
+++ b/Admin/Windows/Cygwin/isabelle/postinstall	Mon Oct 24 20:52:27 2016 +0200
@@ -7,6 +7,7 @@
 mkpasswd -l >/etc/passwd
 mkgroup -l >/etc/group
 
+find -type d -exec setfacl -m default:user::rwx,default:group::r-x,default:other:r-x '{}' +
 find -type d -exec chmod 755 '{}' +
 find -type f \( -name '*.exe' -o -name '*.dll' \) -exec chmod 755 '{}' +
 find -type f -not -name '*.exe' -not -name '*.dll' -not -name '*.scala' -not -name '*.ML' -not -name '*.thy' -exec chmod 644 '{}' +