# HG changeset patch
# User wenzelm
# Date 1527193043 -7200
# Node ID 38b4d4f39434c43be02189a1232e514d6e8ebab4
# Parent  6a29709906c66095ca3fb84b075ff2557d682cdd
setup server directory for Cygwin quasi-mirror;

diff -r 6a29709906c6 -r 38b4d4f39434 Admin/Windows/Cygwin/setup_server
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/Admin/Windows/Cygwin/setup_server	Thu May 24 22:17:23 2018 +0200
@@ -0,0 +1,26 @@
+#!/usr/bin/env bash
+
+CYGWIN_MAIN="https://cygwin.com"
+CYGWIN_MIRROR="https://ftp.eq.uc.pt/software/pc/prog/cygwin"
+
+function fail()
+{
+  echo "$1" >&2
+  exit 2
+}
+
+function download()
+{
+  local URL="$1"
+  local DIR="${2:-.}"
+  mkdir -p "$DIR" || fail "Cannot create directory: \"$DIR\""
+  echo "Downloading $URL ..."
+  curl --fail --silent "$URL" > "$DIR"/"$(basename "$URL")" || fail "FAILED"
+}
+
+download "$CYGWIN_MAIN/setup-x86.exe"
+download "$CYGWIN_MAIN/setup-x86_64.exe"
+download "$CYGWIN_MIRROR/x86/setup.xz" "x86"
+download "$CYGWIN_MIRROR/x86/setup.xz.sig" "x86"
+download "$CYGWIN_MIRROR/x86_64/setup.xz" "x86_64"
+download "$CYGWIN_MIRROR/x86_64/setup.xz.sig" "x86_64"