isabelle: Admin/Windows/Cygwin/README@8740e1241555 (annotated)

50984 7c07ade3c8e0 misc cleanup; wenzelm parents: 48197 diff changeset	1	Cygwin
7c07ade3c8e0 misc cleanup; wenzelm parents: 48197 diff changeset	2	======
41669 0820c4ebcad6 some notes on Cygwin; wenzelm parents: diff changeset	3
68374 8740e1241555 updated to current Cygwin, after 2.10.0-1 from 02-Feb-2018; wenzelm parents: 67767 diff changeset	4	* https://www.cygwin.com/
41669 0820c4ebcad6 some notes on Cygwin; wenzelm parents: diff changeset	5
47873 1636ff4c6243 init Cygwin after unpacking; wenzelm parents: 47838 diff changeset	6	* Mirror with many old versions (not setup.ini)
68374 8740e1241555 updated to current Cygwin, after 2.10.0-1 from 02-Feb-2018; wenzelm parents: 67767 diff changeset	7	https://ftp.eq.uc.pt/software/pc/prog/cygwin
47696 1c9c498ed4f1 more notes on Cygwin, notably for downgrading to 1.7.9 to avoid multi-threading instabilities starting with 1.7.10 early 2012; wenzelm parents: 41669 diff changeset	8
50984 7c07ade3c8e0 misc cleanup; wenzelm parents: 48197 diff changeset	9	* Local snapshots:
7c07ade3c8e0 misc cleanup; wenzelm parents: 48197 diff changeset	10	http://isabelle.in.tum.de/cygwin (Isabelle2012)
7c07ade3c8e0 misc cleanup; wenzelm parents: 48197 diff changeset	11	http://isabelle.in.tum.de/cygwin_2013 (Isabelle2013)
54639 5adc68deb322 updated to Isabelle2013-2; wenzelm parents: 53663 diff changeset	12	http://isabelle.in.tum.de/cygwin_2013-1 (Isabelle2013-1 and Isabelle2013-2)
57027 80ffda443738 updated cygwin; wenzelm parents: 54639 diff changeset	13	http://isabelle.in.tum.de/cygwin_2014 (Isabelle2014)
60015 3aceecdabed6 updated for release; wenzelm parents: 57688 diff changeset	14	http://isabelle.in.tum.de/cygwin_2015 (Isabelle2015)
61827 31054660f285 current Cygwin snapshot in preparation of release; wenzelm parents: 60015 diff changeset	15	http://isabelle.in.tum.de/cygwin_2016 (Isabelle2016)
64344 c1695143de35 pro-forma update to cygwin_2016-1 (web service still missing); wenzelm parents: 64312 diff changeset	16	http://isabelle.in.tum.de/cygwin_2016-1 (Isabelle2016-1)
66529 f39e01e9c489 updated to cygwin-20170828, which is close to Cygwin 2.8.2-1; wenzelm parents: 65071 diff changeset	17	http://isabelle.in.tum.de/cygwin_2017 (Isabelle2017)
68374 8740e1241555 updated to current Cygwin, after 2.10.0-1 from 02-Feb-2018; wenzelm parents: 67767 diff changeset	18	https://isabelle.sketis.net/cygwin_2018 (Isabelle2018)
47696 1c9c498ed4f1 more notes on Cygwin, notably for downgrading to 1.7.9 to avoid multi-threading instabilities starting with 1.7.10 early 2012; wenzelm parents: 41669 diff changeset	19
67767 f95a163c58bb document existing Apache2 configuration; wenzelm parents: 66529 diff changeset	20	* Apache2 redirects for virtual host isabelle.conf:
f95a163c58bb document existing Apache2 configuration; wenzelm parents: 66529 diff changeset	21	Redirect /cygwin/release http://ftp.eq.uc.pt/software/pc/prog/cygwin/release
f95a163c58bb document existing Apache2 configuration; wenzelm parents: 66529 diff changeset	22	Redirect /cygwin_2013/release http://ftp.eq.uc.pt/software/pc/prog/cygwin/release
f95a163c58bb document existing Apache2 configuration; wenzelm parents: 66529 diff changeset	23	Redirect /cygwin_2013-1/release http://ftp.eq.uc.pt/software/pc/prog/cygwin/release
f95a163c58bb document existing Apache2 configuration; wenzelm parents: 66529 diff changeset	24	Redirect /cygwin_2013-1/x86/release http://ftp.eq.uc.pt/software/pc/prog/cygwin/x86/release
f95a163c58bb document existing Apache2 configuration; wenzelm parents: 66529 diff changeset	25	Redirect /cygwin_2014/x86/release http://ftp.eq.uc.pt/software/pc/prog/cygwin/x86/release
f95a163c58bb document existing Apache2 configuration; wenzelm parents: 66529 diff changeset	26	Redirect /cygwin_2015/x86/release http://ftp.eq.uc.pt/software/pc/prog/cygwin/x86/release
f95a163c58bb document existing Apache2 configuration; wenzelm parents: 66529 diff changeset	27	Redirect /cygwin_2015/x86_64/release http://ftp.eq.uc.pt/software/pc/prog/cygwin/x86_64/release
f95a163c58bb document existing Apache2 configuration; wenzelm parents: 66529 diff changeset	28	Redirect /cygwin_2016/x86/release http://ftp.eq.uc.pt/software/pc/prog/cygwin/x86/release
f95a163c58bb document existing Apache2 configuration; wenzelm parents: 66529 diff changeset	29	Redirect /cygwin_2016/x86_64/release http://ftp.eq.uc.pt/software/pc/prog/cygwin/x86_64/release
f95a163c58bb document existing Apache2 configuration; wenzelm parents: 66529 diff changeset	30	Redirect /cygwin_2016-1/x86/release http://ftp.eq.uc.pt/software/pc/prog/cygwin/x86/release
f95a163c58bb document existing Apache2 configuration; wenzelm parents: 66529 diff changeset	31	Redirect /cygwin_2016-1/noarch/release http://ftp.eq.uc.pt/software/pc/prog/cygwin/noarch/release
f95a163c58bb document existing Apache2 configuration; wenzelm parents: 66529 diff changeset	32	Redirect /cygwin_2017/x86/release http://ftp.eq.uc.pt/software/pc/prog/cygwin/x86/release
f95a163c58bb document existing Apache2 configuration; wenzelm parents: 66529 diff changeset	33	Redirect /cygwin_2017/x86_64/release http://ftp.eq.uc.pt/software/pc/prog/cygwin/x86_64/release
f95a163c58bb document existing Apache2 configuration; wenzelm parents: 66529 diff changeset	34	Redirect /cygwin_2017/noarch/release http://ftp.eq.uc.pt/software/pc/prog/cygwin/noarch/release
68374 8740e1241555 updated to current Cygwin, after 2.10.0-1 from 02-Feb-2018; wenzelm parents: 67767 diff changeset	35	Redirect /cygwin_2018/x86/release https://ftp.eq.uc.pt/software/pc/prog/cygwin/x86/release
8740e1241555 updated to current Cygwin, after 2.10.0-1 from 02-Feb-2018; wenzelm parents: 67767 diff changeset	36	Redirect /cygwin_2018/x86_64/release https://ftp.eq.uc.pt/software/pc/prog/cygwin/x86_64/release
8740e1241555 updated to current Cygwin, after 2.10.0-1 from 02-Feb-2018; wenzelm parents: 67767 diff changeset	37	Redirect /cygwin_2018/noarch/release https://ftp.eq.uc.pt/software/pc/prog/cygwin/noarch/release
67767 f95a163c58bb document existing Apache2 configuration; wenzelm parents: 66529 diff changeset	38
65071 9ed87c82cbe7 proper Isabelle/Scala tool; wenzelm parents: 64344 diff changeset	39	* Quasi-component: "isabelle build_cygwin" (as Administrator)
64312 1c7b77286ed0 basic SSH server configuration; wenzelm parents: 63989 diff changeset	40
1c7b77286ed0 basic SSH server configuration; wenzelm parents: 63989 diff changeset	41	* SSH server:
1c7b77286ed0 basic SSH server configuration; wenzelm parents: 63989 diff changeset	42
1c7b77286ed0 basic SSH server configuration; wenzelm parents: 63989 diff changeset	43	- run Cygwin terminal as Administrator
1c7b77286ed0 basic SSH server configuration; wenzelm parents: 63989 diff changeset	44
1c7b77286ed0 basic SSH server configuration; wenzelm parents: 63989 diff changeset	45	- run ssh-host-config
1c7b77286ed0 basic SSH server configuration; wenzelm parents: 63989 diff changeset	46
1c7b77286ed0 basic SSH server configuration; wenzelm parents: 63989 diff changeset	47	StrictMode: yes
1c7b77286ed0 basic SSH server configuration; wenzelm parents: 63989 diff changeset	48	privilege separation: yes
1c7b77286ed0 basic SSH server configuration; wenzelm parents: 63989 diff changeset	49	new local account 'sshd': yes
1c7b77286ed0 basic SSH server configuration; wenzelm parents: 63989 diff changeset	50	sshd as a service: yes
1c7b77286ed0 basic SSH server configuration; wenzelm parents: 63989 diff changeset	51	different name (than cyg_server): no
1c7b77286ed0 basic SSH server configuration; wenzelm parents: 63989 diff changeset	52	new privileged account cyg_server: yes
1c7b77286ed0 basic SSH server configuration; wenzelm parents: 63989 diff changeset	53
1c7b77286ed0 basic SSH server configuration; wenzelm parents: 63989 diff changeset	54	- mkpasswd -l > /etc/passwd
1c7b77286ed0 basic SSH server configuration; wenzelm parents: 63989 diff changeset	55	mkgroup -l > /etc/group
1c7b77286ed0 basic SSH server configuration; wenzelm parents: 63989 diff changeset	56
1c7b77286ed0 basic SSH server configuration; wenzelm parents: 63989 diff changeset	57	passwd -R USER

author	wenzelm
	Mon, 04 Jun 2018 21:57:38 +0200
changeset 68374	8740e1241555
parent 67767	f95a163c58bb
child 69932	56c51f8a118b
permissions	-rw-r--r--