Mercurial Mercurial > repos > isabelle / annotate
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Admin/Windows/Cygwin/isabelle/postinstall
author blanchet
Thu, 16 May 2013 14:15:22 +0200
changeset 52032 0370c5f00ce8
parent 51042 f024975be336
child 52672 8de4235298cb
permissions -rwxr-xr-x
more work on SPASS datatypes
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
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
 












c065f3d14197
clarified cygwin/isabelle scripts;



wenzelm


parents: 

diff
changeset




     3


PATH=/bin













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
















isabelle