| Name | Date | Size | ||
|---|---|---|---|---|
| .. | 25-Jul-2019 | 6 | ||
| Cygwin-Setup.bat | H A D | 25-Jul-2019 | 152 | |
| Cygwin-Terminal.bat | H A D | 25-Jul-2019 | 293 | |
| isabelle/ | H | 25-Jul-2019 | 4 | |
| README | H A D | 25-Jul-2019 | 2.7 KiB | |
| setup_server | H A D | 25-Jul-2019 | 674 |
README
1Cygwin 2====== 3 4* https://www.cygwin.com/ 5 6* Mirror with many old versions (not setup.ini) 7 https://ftp.eq.uc.pt/software/pc/prog/cygwin 8 9* Local snapshots: 10 http://isabelle.in.tum.de/cygwin (Isabelle2012) 11 http://isabelle.in.tum.de/cygwin_2013 (Isabelle2013) 12 http://isabelle.in.tum.de/cygwin_2013-1 (Isabelle2013-1 and Isabelle2013-2) 13 http://isabelle.in.tum.de/cygwin_2014 (Isabelle2014) 14 http://isabelle.in.tum.de/cygwin_2015 (Isabelle2015) 15 http://isabelle.in.tum.de/cygwin_2016 (Isabelle2016) 16 http://isabelle.in.tum.de/cygwin_2016-1 (Isabelle2016-1) 17 http://isabelle.in.tum.de/cygwin_2017 (Isabelle2017) 18 https://isabelle.sketis.net/cygwin_2018 (Isabelle2018) 19 20* Apache2 redirects for virtual host isabelle.conf: 21 Redirect /cygwin/release http://ftp.eq.uc.pt/software/pc/prog/cygwin/release 22 Redirect /cygwin_2013/release http://ftp.eq.uc.pt/software/pc/prog/cygwin/release 23 Redirect /cygwin_2013-1/release http://ftp.eq.uc.pt/software/pc/prog/cygwin/release 24 Redirect /cygwin_2013-1/x86/release http://ftp.eq.uc.pt/software/pc/prog/cygwin/x86/release 25 Redirect /cygwin_2014/x86/release http://ftp.eq.uc.pt/software/pc/prog/cygwin/x86/release 26 Redirect /cygwin_2015/x86/release http://ftp.eq.uc.pt/software/pc/prog/cygwin/x86/release 27 Redirect /cygwin_2015/x86_64/release http://ftp.eq.uc.pt/software/pc/prog/cygwin/x86_64/release 28 Redirect /cygwin_2016/x86/release http://ftp.eq.uc.pt/software/pc/prog/cygwin/x86/release 29 Redirect /cygwin_2016/x86_64/release http://ftp.eq.uc.pt/software/pc/prog/cygwin/x86_64/release 30 Redirect /cygwin_2016-1/x86/release http://ftp.eq.uc.pt/software/pc/prog/cygwin/x86/release 31 Redirect /cygwin_2016-1/noarch/release http://ftp.eq.uc.pt/software/pc/prog/cygwin/noarch/release 32 Redirect /cygwin_2017/x86/release http://ftp.eq.uc.pt/software/pc/prog/cygwin/x86/release 33 Redirect /cygwin_2017/x86_64/release http://ftp.eq.uc.pt/software/pc/prog/cygwin/x86_64/release 34 Redirect /cygwin_2017/noarch/release http://ftp.eq.uc.pt/software/pc/prog/cygwin/noarch/release 35 Redirect /cygwin_2018/x86/release https://ftp.eq.uc.pt/software/pc/prog/cygwin/x86/release 36 Redirect /cygwin_2018/x86_64/release https://ftp.eq.uc.pt/software/pc/prog/cygwin/x86_64/release 37 Redirect /cygwin_2018/noarch/release https://ftp.eq.uc.pt/software/pc/prog/cygwin/noarch/release 38 39* Quasi-component: "isabelle build_cygwin" (as Administrator) 40 41* SSH server: 42 43 - run Cygwin terminal as Administrator 44 45 - run ssh-host-config 46 47 StrictMode: yes 48 privilege separation: yes 49 new local account 'sshd': yes 50 sshd as a service: yes 51 different name (than cyg_server): no 52 new privileged account cyg_server: yes 53 54 - mkpasswd -l > /etc/passwd 55 mkgroup -l > /etc/group 56 57 passwd -R USER 58