[19:03:04] <Dedalus_>	 hi Rachel!
[19:17:39] <Dedalus_>	 downloading https://mediawiki-vagrant-image.wmflabs.org/mediawiki-vagrant/mediawiki-vagrant-installer.iso is problematic. Downloading stops after 1 GB, while the file size is 2.8GB
[20:17:26] <Reedy>	 Dedalus_: Tried using a download manager?
[21:54:35] <Dedalus_>	 Reedy: now i've downloaded the iso image. however now all file names are truncated to 8.3 format
[21:55:07] <Dedalus_>	 does the installer.iso file have long file names inside or not?
[21:58:39] <Dedalus_>	 problem solved. i double clicked the iso file in windows, and windows show 8.3 names. Opening in 7.zip shows the full file names.