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/README
author wenzelm
Thu, 16 Jan 2020 14:07:28 +0100
changeset 71385 06bb82e7af2a
parent 71335 2afdd24ff707
child 74066 b3f072aa4690
permissions -rw-r--r--
updated to current cygwin, after 3.1.2-1 from 21-Dec-2019;
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
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:








71335






2afdd24ff707
improved Markdown-like display in Phabricator;



wenzelm


parents: 
69932

diff
changeset




    10


  - http://isabelle.in.tum.de/cygwin  (Isabelle2012)













2afdd24ff707
improved Markdown-like display in Phabricator;



wenzelm


parents: 
69932

diff
changeset




    11


  - http://isabelle.in.tum.de/cygwin_2013  (Isabelle2013)













2afdd24ff707
improved Markdown-like display in Phabricator;



wenzelm


parents: 
69932

diff
changeset




    12


  - http://isabelle.in.tum.de/cygwin_2013-1  (Isabelle2013-1 and Isabelle2013-2)













2afdd24ff707
improved Markdown-like display in Phabricator;



wenzelm


parents: 
69932

diff
changeset




    13


  - http://isabelle.in.tum.de/cygwin_2014  (Isabelle2014)













2afdd24ff707
improved Markdown-like display in Phabricator;



wenzelm


parents: 
69932

diff
changeset




    14


  - http://isabelle.in.tum.de/cygwin_2015  (Isabelle2015)













2afdd24ff707
improved Markdown-like display in Phabricator;



wenzelm


parents: 
69932

diff
changeset




    15


  - http://isabelle.in.tum.de/cygwin_2016  (Isabelle2016)













2afdd24ff707
improved Markdown-like display in Phabricator;



wenzelm


parents: 
69932

diff
changeset




    16


  - http://isabelle.in.tum.de/cygwin_2016-1  (Isabelle2016-1)













2afdd24ff707
improved Markdown-like display in Phabricator;



wenzelm


parents: 
69932

diff
changeset




    17


  - http://isabelle.in.tum.de/cygwin_2017  (Isabelle2017)













2afdd24ff707
improved Markdown-like display in Phabricator;



wenzelm


parents: 
69932

diff
changeset




    18


  - https://isabelle.sketis.net/cygwin_2018  (Isabelle2018)













2afdd24ff707
improved Markdown-like display in Phabricator;



wenzelm


parents: 
69932

diff
changeset




    19


  - https://isabelle.sketis.net/cygwin_2019  (Isabelle2019)








71385






06bb82e7af2a
updated to current cygwin, after 3.1.2-1 from 21-Dec-2019;



wenzelm


parents: 
71335

diff
changeset




    20


  - https://isabelle.sketis.net/cygwin_2020  (Isabelle2020)








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




    21









67767






f95a163c58bb
document existing Apache2 configuration;



wenzelm


parents: 
66529

diff
changeset




    22


* Apache2 redirects for virtual host isabelle.conf:








71335






2afdd24ff707
improved Markdown-like display in Phabricator;



wenzelm


parents: 
69932

diff
changeset




    23


```








67767






f95a163c58bb
document existing Apache2 configuration;



wenzelm


parents: 
66529

diff
changeset




    24


  Redirect /cygwin/release http://ftp.eq.uc.pt/software/pc/prog/cygwin/release













f95a163c58bb
document existing Apache2 configuration;



wenzelm


parents: 
66529

diff
changeset




    25


  Redirect /cygwin_2013/release http://ftp.eq.uc.pt/software/pc/prog/cygwin/release













f95a163c58bb
document existing Apache2 configuration;



wenzelm


parents: 
66529

diff
changeset




    26


  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




    27


  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




    28


  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




    29


  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




    30


  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




    31


  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




    32


  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




    33


  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




    34


  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




    35


  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




    36


  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




    37


  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




    38


  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




    39


  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




    40


  Redirect /cygwin_2018/noarch/release https://ftp.eq.uc.pt/software/pc/prog/cygwin/noarch/release








69932






56c51f8a118b
updated to Cygwin 3.0.4 (approximation for Isabelle2019);



wenzelm


parents: 
68374

diff
changeset




    41


  Redirect /cygwin_2019/x86/release https://ftp.eq.uc.pt/software/pc/prog/cygwin/x86/release













56c51f8a118b
updated to Cygwin 3.0.4 (approximation for Isabelle2019);



wenzelm


parents: 
68374

diff
changeset




    42


  Redirect /cygwin_2019/x86_64/release https://ftp.eq.uc.pt/software/pc/prog/cygwin/x86_64/release













56c51f8a118b
updated to Cygwin 3.0.4 (approximation for Isabelle2019);



wenzelm


parents: 
68374

diff
changeset




    43


  Redirect /cygwin_2019/noarch/release https://ftp.eq.uc.pt/software/pc/prog/cygwin/noarch/release








71385






06bb82e7af2a
updated to current cygwin, after 3.1.2-1 from 21-Dec-2019;



wenzelm


parents: 
71335

diff
changeset




    44


  Redirect /cygwin_2020/x86_64/release https://ftp.eq.uc.pt/software/pc/prog/cygwin/x86_64/release













06bb82e7af2a
updated to current cygwin, after 3.1.2-1 from 21-Dec-2019;



wenzelm


parents: 
71335

diff
changeset




    45


  Redirect /cygwin_2020/noarch/release https://ftp.eq.uc.pt/software/pc/prog/cygwin/noarch/release








71335






2afdd24ff707
improved Markdown-like display in Phabricator;



wenzelm


parents: 
69932

diff
changeset




    46


```








67767






f95a163c58bb
document existing Apache2 configuration;



wenzelm


parents: 
66529

diff
changeset




    47









65071






9ed87c82cbe7
proper Isabelle/Scala tool;



wenzelm


parents: 
64344

diff
changeset




    48


* Quasi-component: "isabelle build_cygwin" (as Administrator)








64312






1c7b77286ed0
basic SSH server configuration;



wenzelm


parents: 
63989

diff
changeset




    49














1c7b77286ed0
basic SSH server configuration;



wenzelm


parents: 
63989

diff
changeset




    50


* SSH server:













1c7b77286ed0
basic SSH server configuration;



wenzelm


parents: 
63989

diff
changeset




    51














1c7b77286ed0
basic SSH server configuration;



wenzelm


parents: 
63989

diff
changeset




    52


  - run Cygwin terminal as Administrator













1c7b77286ed0
basic SSH server configuration;



wenzelm


parents: 
63989

diff
changeset




    53














1c7b77286ed0
basic SSH server configuration;



wenzelm


parents: 
63989

diff
changeset




    54


  - run ssh-host-config








71335






2afdd24ff707
improved Markdown-like display in Phabricator;



wenzelm


parents: 
69932

diff
changeset




    55


```








64312






1c7b77286ed0
basic SSH server configuration;



wenzelm


parents: 
63989

diff
changeset




    56


    StrictMode: yes













1c7b77286ed0
basic SSH server configuration;



wenzelm


parents: 
63989

diff
changeset




    57


    privilege separation: yes













1c7b77286ed0
basic SSH server configuration;



wenzelm


parents: 
63989

diff
changeset




    58


    new local account 'sshd': yes













1c7b77286ed0
basic SSH server configuration;



wenzelm


parents: 
63989

diff
changeset




    59


    sshd as a service: yes













1c7b77286ed0
basic SSH server configuration;



wenzelm


parents: 
63989

diff
changeset




    60


    different name (than cyg_server): no













1c7b77286ed0
basic SSH server configuration;



wenzelm


parents: 
63989

diff
changeset




    61


    new privileged account cyg_server: yes








71335






2afdd24ff707
improved Markdown-like display in Phabricator;



wenzelm


parents: 
69932

diff
changeset




    62


```








64312






1c7b77286ed0
basic SSH server configuration;



wenzelm


parents: 
63989

diff
changeset




    63









71335






2afdd24ff707
improved Markdown-like display in Phabricator;



wenzelm


parents: 
69932

diff
changeset




    64


  - user setup













2afdd24ff707
improved Markdown-like display in Phabricator;



wenzelm


parents: 
69932

diff
changeset




    65


```













2afdd24ff707
improved Markdown-like display in Phabricator;



wenzelm


parents: 
69932

diff
changeset




    66


    mkpasswd -l > /etc/passwd








64312






1c7b77286ed0
basic SSH server configuration;



wenzelm


parents: 
63989

diff
changeset




    67


    mkgroup -l > /etc/group













1c7b77286ed0
basic SSH server configuration;



wenzelm


parents: 
63989

diff
changeset




    68














1c7b77286ed0
basic SSH server configuration;



wenzelm


parents: 
63989

diff
changeset




    69


    passwd -R USER








71335






2afdd24ff707
improved Markdown-like display in Phabricator;



wenzelm


parents: 
69932

diff
changeset




    70


```















isabelle