equal
deleted
inserted
replaced
5 bash /etc/postinstall/base-files-mketc.sh.done |
5 bash /etc/postinstall/base-files-mketc.sh.done |
6 |
6 |
7 mkpasswd -l >/etc/passwd |
7 mkpasswd -l >/etc/passwd |
8 mkgroup -l >/etc/group |
8 mkgroup -l >/etc/group |
9 |
9 |
|
10 find -type d -exec setfacl -m default:user::rwx,default:group::r-x,default:other:r-x '{}' + |
10 find -type d -exec chmod 755 '{}' + |
11 find -type d -exec chmod 755 '{}' + |
11 find -type f \( -name '*.exe' -o -name '*.dll' \) -exec chmod 755 '{}' + |
12 find -type f \( -name '*.exe' -o -name '*.dll' \) -exec chmod 755 '{}' + |
12 find -type f -not -name '*.exe' -not -name '*.dll' -not -name '*.scala' -not -name '*.ML' -not -name '*.thy' -exec chmod 644 '{}' + |
13 find -type f -not -name '*.exe' -not -name '*.dll' -not -name '*.scala' -not -name '*.ML' -not -name '*.thy' -exec chmod 644 '{}' + |
13 find -type f \( -name '*.scala' -o -name '*.ML' -o -name '*.thy' \) -exec chmod 444 '{}' + |
14 find -type f \( -name '*.scala' -o -name '*.ML' -o -name '*.thy' \) -exec chmod 444 '{}' + |
14 xargs -0 < contrib/cygwin/isabelle/executables chmod 755 |
15 xargs -0 < contrib/cygwin/isabelle/executables chmod 755 |