Name | Date | Size | ||
---|---|---|---|---|
.. | 25-Jul-2019 | 5 | ||
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 | 30-Oct-2020 | 3.3 KiB | |
setup_server | H A D | 30-Oct-2020 | 542 |
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 - https://isabelle.sketis.net/cygwin_2019 (Isabelle2019) 20 - https://isabelle.sketis.net/cygwin_2020 (Isabelle2020) 21 22* Apache2 redirects for virtual host isabelle.conf: 23``` 24 Redirect /cygwin/release http://ftp.eq.uc.pt/software/pc/prog/cygwin/release 25 Redirect /cygwin_2013/release http://ftp.eq.uc.pt/software/pc/prog/cygwin/release 26 Redirect /cygwin_2013-1/release http://ftp.eq.uc.pt/software/pc/prog/cygwin/release 27 Redirect /cygwin_2013-1/x86/release http://ftp.eq.uc.pt/software/pc/prog/cygwin/x86/release 28 Redirect /cygwin_2014/x86/release http://ftp.eq.uc.pt/software/pc/prog/cygwin/x86/release 29 Redirect /cygwin_2015/x86/release http://ftp.eq.uc.pt/software/pc/prog/cygwin/x86/release 30 Redirect /cygwin_2015/x86_64/release http://ftp.eq.uc.pt/software/pc/prog/cygwin/x86_64/release 31 Redirect /cygwin_2016/x86/release http://ftp.eq.uc.pt/software/pc/prog/cygwin/x86/release 32 Redirect /cygwin_2016/x86_64/release http://ftp.eq.uc.pt/software/pc/prog/cygwin/x86_64/release 33 Redirect /cygwin_2016-1/x86/release http://ftp.eq.uc.pt/software/pc/prog/cygwin/x86/release 34 Redirect /cygwin_2016-1/noarch/release http://ftp.eq.uc.pt/software/pc/prog/cygwin/noarch/release 35 Redirect /cygwin_2017/x86/release http://ftp.eq.uc.pt/software/pc/prog/cygwin/x86/release 36 Redirect /cygwin_2017/x86_64/release http://ftp.eq.uc.pt/software/pc/prog/cygwin/x86_64/release 37 Redirect /cygwin_2017/noarch/release http://ftp.eq.uc.pt/software/pc/prog/cygwin/noarch/release 38 Redirect /cygwin_2018/x86/release https://ftp.eq.uc.pt/software/pc/prog/cygwin/x86/release 39 Redirect /cygwin_2018/x86_64/release https://ftp.eq.uc.pt/software/pc/prog/cygwin/x86_64/release 40 Redirect /cygwin_2018/noarch/release https://ftp.eq.uc.pt/software/pc/prog/cygwin/noarch/release 41 Redirect /cygwin_2019/x86/release https://ftp.eq.uc.pt/software/pc/prog/cygwin/x86/release 42 Redirect /cygwin_2019/x86_64/release https://ftp.eq.uc.pt/software/pc/prog/cygwin/x86_64/release 43 Redirect /cygwin_2019/noarch/release https://ftp.eq.uc.pt/software/pc/prog/cygwin/noarch/release 44 Redirect /cygwin_2020/x86_64/release https://ftp.eq.uc.pt/software/pc/prog/cygwin/x86_64/release 45 Redirect /cygwin_2020/noarch/release https://ftp.eq.uc.pt/software/pc/prog/cygwin/noarch/release 46``` 47 48* Quasi-component: "isabelle build_cygwin" (as Administrator) 49 50* SSH server: 51 52 - run Cygwin terminal as Administrator 53 54 - run ssh-host-config 55``` 56 StrictMode: yes 57 privilege separation: yes 58 new local account 'sshd': yes 59 sshd as a service: yes 60 different name (than cyg_server): no 61 new privileged account cyg_server: yes 62``` 63 64 - user setup 65``` 66 mkpasswd -l > /etc/passwd 67 mkgroup -l > /etc/group 68 69 passwd -R USER 70``` 71