Am 21.08.2015 um 12:20 schrieb Johannes Schindelin:
> Hi Johannes,
>
> On 2015-08-20 22:57, Johannes Sixt wrote:
>> I observe timeout errors on installing the GfW SDK.
>
> Please note that I would prefer to move the discussion to the
>
git-for...@googlegroups.com list.
No problem. Cc'd.
>> D:\Src\git-sdk-64>setup-git-sdk.bat
>> :: Synchronizing package databases...
>> git-for-windows is up to date0 B 0.00B/s 00:00
>> [---------------------] 0%
>> error: failed retrieving file 'mingw32.db' from
repo.msys2.org :
>> Connection time
>> d out after 10001 milliseconds
>> mingw32 is up to date
>> error: failed retrieving file 'mingw64.db' from
repo.msys2.org :
>> Connection time
>> d out after 10001 milliseconds
>
> It seems that
repo.msys2.org was slow at the time you tried. This is
> unfortunate, as the move away from SourceForge was intended to stabilize
> the service.
>
>> mingw64 197.2 KiB 64.2M/s 00:00
>> [#####################] 100%
>> mingw64.sig 96.0 B 93.8K/s 00:00
>> [#####################] 100%
>
> However, it seems that it worked, after all. So it timed out and then
> just retried. And then succeeded.
Ok. I was unsure whether this would be a correct interpretation of this
output.
At any rate, I repeated yesterday, and the setup went through without
these time-outs. It even compiled and installed Git.
I observed something else, though. I have a rather peculiar setup. In
particular, I have these environment variables set by default:
HOME=H:\
HOMEDRIVE=C:
HOMEPATH=\Users\jsixt
H:\ is on a remote Samba share and points to my actual $HOME at that
Linux box (!!)
Then I see errors of this kind:
( 8/39) installing gzip [#####################] 100%
/cygdrive/h/.bashrc: line 6: /etc/profile: No such file or directory
This .bashrc sources /etc/profile. However, I wonder why .bashrc is
sourced in the first place.
( 27/169) installing grep [#####################] 100%
mkdir: cannot change permissions of '/dev/shm': Permission denied
mkdir: cannot change permissions of '/dev/mqueue': Permission denied
ln: failed to create symbolic link '/dev/stdin': No such file or directory
Can these be ignored? These errors happen again and again.
'C:\\Windows\\System32\\drivers\\etc\\hosts' -> '/etc/hosts'
'C:\\Windows\\System32\\drivers\\etc\\protocol' -> '/etc/protocols'
'C:\\Windows\\System32\\drivers\\etc\\services' -> '/etc/services'
'C:\\Windows\\System32\\drivers\\etc\\networks' -> '/etc/networks'
( 28/169) installing dash [#####################] 100%
ln: failed to create symbolic link '/dev/stdin': No such file or directory
/tmp/alpm_ndIDSO/.INSTALL: Zeile 2: usr/bin/grep: No such file or directory
/tmp/alpm_ndIDSO/.INSTALL: Zeile 2: etc/shells: No such file or directory
error: command (/usr/bin/bash /usr/bin/bash -c . /tmp/alpm_ndIDSO/.INSTALL; post
_install 0.5.8-1 ) failed to execute correctly
This one is more alarming. post_install failed! Does it mean that my
setup is now incomplete? (I think I saw this error several times.)
If I were to repeat the installation after unsetting HOME, can I
somehow avoid that everything is downloaded again?
-- Hannes