isabelle: Admin/Windows/Cygwin/isabelle/postinstall@049e13f616d4 (annotated)

50977 983794d3b84f more generous C stack size as in Linux and Mac OS X, to reduce chance of Cygwin-specific crashes; wenzelm parents: 50807 diff changeset	1	#!/bin/bash
50807 c065f3d14197 clarified cygwin/isabelle scripts; wenzelm parents: diff changeset	2
52672 8de4235298cb more robust executable path specifications; wenzelm parents: 51042 diff changeset	3	export PATH=/bin
50807 c065f3d14197 clarified cygwin/isabelle scripts; wenzelm parents: diff changeset	4
c065f3d14197 clarified cygwin/isabelle scripts; wenzelm parents: diff changeset	5	bash /etc/postinstall/base-files-mketc.sh.done
c065f3d14197 clarified cygwin/isabelle scripts; wenzelm parents: diff changeset	6
c065f3d14197 clarified cygwin/isabelle scripts; wenzelm parents: diff changeset	7	mkpasswd -l >/etc/passwd
c065f3d14197 clarified cygwin/isabelle scripts; wenzelm parents: diff changeset	8	mkgroup -l >/etc/group
50978 20edcc6a8def more uniform permissions; wenzelm parents: 50977 diff changeset	9
52672 8de4235298cb more robust executable path specifications; wenzelm parents: 51042 diff changeset	10	find -type d -exec chmod 755 '{}' +
8de4235298cb more robust executable path specifications; wenzelm parents: 51042 diff changeset	11	find -type f \( -name '.exe' -o -name '.dll' \) -exec chmod 755 '{}' +
8de4235298cb more robust executable path specifications; wenzelm parents: 51042 diff changeset	12	find -type f -not -name '.exe' -not -name '.dll' -exec chmod 644 '{}' +
8de4235298cb more robust executable path specifications; wenzelm parents: 51042 diff changeset	13	xargs -0 < contrib/cygwin/isabelle/executables chmod 755
8de4235298cb more robust executable path specifications; wenzelm parents: 51042 diff changeset	14

author	wenzelm
	Sun, 10 Aug 2014 20:45:48 +0200
changeset 57889	049e13f616d4
parent 52672	8de4235298cb
child 61737	b91b1ebfc8a0
permissions	-rwxr-xr-x