Admin/Windows/Cygwin/README
author wenzelm
Wed, 04 Oct 2017 12:00:53 +0200
changeset 66787 64b47495676d
parent 66529 f39e01e9c489
child 67767 f95a163c58bb
permissions -rw-r--r--
obsolete;
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
0820c4ebcad6 some notes on Cygwin;
wenzelm
parents:
diff changeset
     4
* http://www.cygwin.com/
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)
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
     7
  http://ftp.eq.uc.pt/software/pc/prog/cygwin
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)
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
    18
65071
9ed87c82cbe7 proper Isabelle/Scala tool;
wenzelm
parents: 64344
diff changeset
    19
* Quasi-component: "isabelle build_cygwin" (as Administrator)
64312
1c7b77286ed0 basic SSH server configuration;
wenzelm
parents: 63989
diff changeset
    20
1c7b77286ed0 basic SSH server configuration;
wenzelm
parents: 63989
diff changeset
    21
* SSH server:
1c7b77286ed0 basic SSH server configuration;
wenzelm
parents: 63989
diff changeset
    22
1c7b77286ed0 basic SSH server configuration;
wenzelm
parents: 63989
diff changeset
    23
  - run Cygwin terminal as Administrator
1c7b77286ed0 basic SSH server configuration;
wenzelm
parents: 63989
diff changeset
    24
1c7b77286ed0 basic SSH server configuration;
wenzelm
parents: 63989
diff changeset
    25
  - run ssh-host-config
1c7b77286ed0 basic SSH server configuration;
wenzelm
parents: 63989
diff changeset
    26
1c7b77286ed0 basic SSH server configuration;
wenzelm
parents: 63989
diff changeset
    27
    StrictMode: yes
1c7b77286ed0 basic SSH server configuration;
wenzelm
parents: 63989
diff changeset
    28
    privilege separation: yes
1c7b77286ed0 basic SSH server configuration;
wenzelm
parents: 63989
diff changeset
    29
    new local account 'sshd': yes
1c7b77286ed0 basic SSH server configuration;
wenzelm
parents: 63989
diff changeset
    30
    sshd as a service: yes
1c7b77286ed0 basic SSH server configuration;
wenzelm
parents: 63989
diff changeset
    31
    different name (than cyg_server): no
1c7b77286ed0 basic SSH server configuration;
wenzelm
parents: 63989
diff changeset
    32
    new privileged account cyg_server: yes
1c7b77286ed0 basic SSH server configuration;
wenzelm
parents: 63989
diff changeset
    33
1c7b77286ed0 basic SSH server configuration;
wenzelm
parents: 63989
diff changeset
    34
  - mkpasswd -l > /etc/passwd
1c7b77286ed0 basic SSH server configuration;
wenzelm
parents: 63989
diff changeset
    35
    mkgroup -l > /etc/group
1c7b77286ed0 basic SSH server configuration;
wenzelm
parents: 63989
diff changeset
    36
1c7b77286ed0 basic SSH server configuration;
wenzelm
parents: 63989
diff changeset
    37
    passwd -R USER