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
Wed, 12 Mar 2025 11:39:00 +0100
changeset 82265 4b875a4c83b0
parent 81755 1609254b74c5
permissions -rw-r--r--
update for release;
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)








74066






b3f072aa4690
updated for Isabelle2021 release;



wenzelm


parents: 
71385

diff
changeset




    21


  - https://isabelle.sketis.net/cygwin_2021  (Isabelle2021)








74419






ff0ca375457c
updated to current Cygwin, near 3.2.0;



wenzelm


parents: 
74066

diff
changeset




    22


  - https://isabelle.sketis.net/cygwin_2021-1  (Isabelle2021-1)








76028






105867f98630
updated to current Cygwin, near 3.3.5-1;



wenzelm


parents: 
74419

diff
changeset




    23


  - https://isabelle.sketis.net/cygwin_2022  (Isabelle2022)








78304






e4b57eea7f86
update cygwin for Isabelle2023 -- somewhere after cygwin 3.4.0-1 (see https://cygwin.com/pipermail/cygwin-announce/2022-December/010821.html);



wenzelm


parents: 
77577

diff
changeset




    24


  - https://isabelle.sketis.net/cygwin_2023  (Isabelle2023)








79782






8bde94328b05
update cygwin near 3.5.1-1, also see https://cygwin.com/pipermail/cygwin-announce/2024-February/011524.html and https://cygwin.com/pipermail/cygwin-announce/2024-February/011611.html



wenzelm


parents: 
78304

diff
changeset




    25


  - https://isabelle.sketis.net/cygwin_2024  (Isabelle2024)








81755






1609254b74c5
update cygwin near 3.5.5-1, see also https://cygwin.com/pipermail/cygwin-announce/2024-December/012023.html



wenzelm


parents: 
80145

diff
changeset




    26


  - https://isabelle.sketis.net/cygwin_2025  (Isabelle2025)








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




    27









67767






f95a163c58bb
document existing Apache2 configuration;



wenzelm


parents: 
66529

diff
changeset




    28


* Apache2 redirects for virtual host isabelle.conf:








71335






2afdd24ff707
improved Markdown-like display in Phabricator;



wenzelm


parents: 
69932

diff
changeset




    29


```








67767






f95a163c58bb
document existing Apache2 configuration;



wenzelm


parents: 
66529

diff
changeset




    30


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













f95a163c58bb
document existing Apache2 configuration;



wenzelm


parents: 
66529

diff
changeset




    31


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













f95a163c58bb
document existing Apache2 configuration;



wenzelm


parents: 
66529

diff
changeset




    32


  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




    33


  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




    34


  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




    35


  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




    36


  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




    37


  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




    38


  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




    39


  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




    40


  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




    41


  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




    42


  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




    43


  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




    44


  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




    45


  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




    46


  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




    47


  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




    48


  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




    49


  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




    50


  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




    51


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








74066






b3f072aa4690
updated for Isabelle2021 release;



wenzelm


parents: 
71385

diff
changeset




    52


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













b3f072aa4690
updated for Isabelle2021 release;



wenzelm


parents: 
71385

diff
changeset




    53


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








74419






ff0ca375457c
updated to current Cygwin, near 3.2.0;



wenzelm


parents: 
74066

diff
changeset




    54


  Redirect /cygwin_2021-1/x86_64/release https://ftp.eq.uc.pt/software/pc/prog/cygwin/x86_64/release













ff0ca375457c
updated to current Cygwin, near 3.2.0;



wenzelm


parents: 
74066

diff
changeset




    55


  Redirect /cygwin_2021-1/noarch/release https://ftp.eq.uc.pt/software/pc/prog/cygwin/noarch/release








76028






105867f98630
updated to current Cygwin, near 3.3.5-1;



wenzelm


parents: 
74419

diff
changeset




    56


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













105867f98630
updated to current Cygwin, near 3.3.5-1;



wenzelm


parents: 
74419

diff
changeset




    57


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








78304






e4b57eea7f86
update cygwin for Isabelle2023 -- somewhere after cygwin 3.4.0-1 (see https://cygwin.com/pipermail/cygwin-announce/2022-December/010821.html);



wenzelm


parents: 
77577

diff
changeset




    58


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













e4b57eea7f86
update cygwin for Isabelle2023 -- somewhere after cygwin 3.4.0-1 (see https://cygwin.com/pipermail/cygwin-announce/2022-December/010821.html);



wenzelm


parents: 
77577

diff
changeset




    59


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













e4b57eea7f86
update cygwin for Isabelle2023 -- somewhere after cygwin 3.4.0-1 (see https://cygwin.com/pipermail/cygwin-announce/2022-December/010821.html);



wenzelm


parents: 
77577

diff
changeset




    60


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













e4b57eea7f86
update cygwin for Isabelle2023 -- somewhere after cygwin 3.4.0-1 (see https://cygwin.com/pipermail/cygwin-announce/2022-December/010821.html);



wenzelm


parents: 
77577

diff
changeset




    61


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








79782






8bde94328b05
update cygwin near 3.5.1-1, also see https://cygwin.com/pipermail/cygwin-announce/2024-February/011524.html and https://cygwin.com/pipermail/cygwin-announce/2024-February/011611.html



wenzelm


parents: 
78304

diff
changeset




    62


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













8bde94328b05
update cygwin near 3.5.1-1, also see https://cygwin.com/pipermail/cygwin-announce/2024-February/011524.html and https://cygwin.com/pipermail/cygwin-announce/2024-February/011611.html



wenzelm


parents: 
78304

diff
changeset




    63


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








81755






1609254b74c5
update cygwin near 3.5.5-1, see also https://cygwin.com/pipermail/cygwin-announce/2024-December/012023.html



wenzelm


parents: 
80145

diff
changeset




    64


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













1609254b74c5
update cygwin near 3.5.5-1, see also https://cygwin.com/pipermail/cygwin-announce/2024-December/012023.html



wenzelm


parents: 
80145

diff
changeset




    65


  Redirect /cygwin_2025/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




    66


```








67767






f95a163c58bb
document existing Apache2 configuration;



wenzelm


parents: 
66529

diff
changeset




    67









77577






f78286d2e30f
follow renaming of various Isabelle command-line tools (see b975f5aaf6b8 and before);



wenzelm


parents: 
76028

diff
changeset




    68


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








64312






1c7b77286ed0
basic SSH server configuration;



wenzelm


parents: 
63989

diff
changeset




    69














1c7b77286ed0
basic SSH server configuration;



wenzelm


parents: 
63989

diff
changeset




    70


* SSH server:













1c7b77286ed0
basic SSH server configuration;



wenzelm


parents: 
63989

diff
changeset




    71














1c7b77286ed0
basic SSH server configuration;



wenzelm


parents: 
63989

diff
changeset




    72


  - run Cygwin terminal as Administrator













1c7b77286ed0
basic SSH server configuration;



wenzelm


parents: 
63989

diff
changeset




    73














1c7b77286ed0
basic SSH server configuration;



wenzelm


parents: 
63989

diff
changeset




    74


  - run ssh-host-config








71335






2afdd24ff707
improved Markdown-like display in Phabricator;



wenzelm


parents: 
69932

diff
changeset




    75


```








64312






1c7b77286ed0
basic SSH server configuration;



wenzelm


parents: 
63989

diff
changeset




    76


    StrictMode: yes








71335






2afdd24ff707
improved Markdown-like display in Phabricator;



wenzelm


parents: 
69932

diff
changeset




    77


```








64312






1c7b77286ed0
basic SSH server configuration;



wenzelm


parents: 
63989

diff
changeset




    78









71335






2afdd24ff707
improved Markdown-like display in Phabricator;



wenzelm


parents: 
69932

diff
changeset




    79


  - user setup













2afdd24ff707
improved Markdown-like display in Phabricator;



wenzelm


parents: 
69932

diff
changeset




    80


```













2afdd24ff707
improved Markdown-like display in Phabricator;



wenzelm


parents: 
69932

diff
changeset




    81


    mkpasswd -l > /etc/passwd








64312






1c7b77286ed0
basic SSH server configuration;



wenzelm


parents: 
63989

diff
changeset




    82


    mkgroup -l > /etc/group













1c7b77286ed0
basic SSH server configuration;



wenzelm


parents: 
63989

diff
changeset




    83














1c7b77286ed0
basic SSH server configuration;



wenzelm


parents: 
63989

diff
changeset




    84


    passwd -R USER








71335






2afdd24ff707
improved Markdown-like display in Phabricator;



wenzelm


parents: 
69932

diff
changeset




    85


```








80145






0eff7d113549
update Windows build host;



wenzelm


parents: 
79782

diff
changeset




    86














0eff7d113549
update Windows build host;



wenzelm


parents: 
79782

diff
changeset




    87


  - firewall













0eff7d113549
update Windows build host;



wenzelm


parents: 
79782

diff
changeset




    88


```













0eff7d113549
update Windows build host;



wenzelm


parents: 
79782

diff
changeset




    89


    netsh advfirewall firewall add rule name="Open SSH Port 22" dir=in action=allow protocol=TCP localport=22 remoteip=any













0eff7d113549
update Windows build host;



wenzelm


parents: 
79782

diff
changeset




    90


```















isabelle