mediawiki- file unavailable from ftp.freebsd.org

[Matthew Seaman]

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

On 07/05/2010 10:30:41, David Southwell wrote:
> Hi
> Is the a makefile error, resource problem or am I in error?
> dns1# make clean
> ===>  Cleaning for mediawiki-1.15.3
> dns1# make
> ===>  Found saved configuration for mediawiki-1.15.1
> => mediawiki-1.15.3.tar.gz doesn't seem to exist in /usr/ports/distfiles/.
> => Attempting to fetch from http://download.wikimedia.org/mediawiki/1.15/.
> fetch: http://download.wikimedia.org/mediawiki/1.15/mediawiki-1.15.3.tar.gz: 
> Moved Permanently
> => Attempting to fetch from 
> ftp://ftp.FreeBSD.org/pub/FreeBSD/ports/distfiles/.
> fetch: 
> ftp://ftp.FreeBSD.org/pub/FreeBSD/ports/distfiles/mediawiki-1.15.3.tar.gz: 
> File unavailable (e.g., file not found, no access)
> => Couldn't fetch it - please try to retrieve this
> => port manually into /usr/ports/distfiles/ and try again.
> *** Error code 1
> 
> Stop in /usr/ports/www/mediawiki.
> *** Error code 1
> 
> Stop in /usr/ports/www/mediawiki.
> 
> Thanks in advance

Mediawiki were doing maintenance.  Attempting to grab the tarball
manually, I got redirected to dumps.mediawiki.org and the following message:

Some files from download.wikimedia.org are temporarily offline while we
perform some maintenance. Sorry for the inconvenience!

However, the required tarball seems to be readily available on
dumps.mediawiki.org:

% fetch -v
http://download.wikimedia.org/mediawiki/1.15/mediawiki-1.15.3.tar.gz
looking up download.wikimedia.org
connecting to download.wikimedia.org:80
requesting
http://download.wikimedia.org/mediawiki/1.15/mediawiki-1.15.3.tar.gz
301 redirect to
http://dumps.wikimedia.org/mediawiki/1.15/mediawiki-1.15.3.tar.gz
looking up dumps.wikimedia.org
connecting to dumps.wikimedia.org:80
requesting http://dumps.wikimedia.org/mediawiki/1.15/mediawiki-1.15.3.tar.gz
remote size / mtime: 11486661 / 0
mediawiki-1.15.3.tar.gz                       100% of   10 MB  341 kBps
00m00s

Notice the 301 HTTP redirect in the middle of all that?  The ports does
not follow such redirects as a matter of policy.  Unfortunately this
means the mediawiki tarball will be temporarily out of reach by the
ports.  Should the situation remain as it is for any appreciable length
of time, then a modification to the port to have it download from
dumps.mediawiki.org will solve that problem.

In the mean time, I suggest you use fetch as above, then copy the
tarball into /usr/ports/distfiles and try building the port again.

	Cheers,

	Matthew

- -- 
Dr Matthew J Seaman MA, D.Phil.                   7 Priory Courtyard
                                                  Flat 3
PGP: http://www.infracaninophile.co.uk/pgpkey     Ramsgate
                                                  Kent, CT11 9PW
-----BEGIN PGP SIGNATURE-----
Version: GnuPG/MacGPG2 v2.0.14 (Darwin)
Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org/

iEYEARECAAYFAkvj4gsACgkQ8Mjk52CukIww6QCcCqGNlG+0s1YALG14hsoZZG9e
pXEAn0DJbSFb5KIasf/mRP3VFoE4++/X
=CqTY
-----END PGP SIGNATURE-----