Use official redirector address httpredir.debian.org [1]
authorPaul Menzel <paul.menzel@giantmonkey.de>
Wed, 17 Jun 2015 18:16:30 +0000 (20:16 +0200)
committerPaul Menzel <paul.menzel@giantmonkey.de>
Wed, 17 Jun 2015 18:16:30 +0000 (20:16 +0200)
commit4a9077a0866a639999f625a8030402bba2c5deef
tree3e9edff26badca9052e25a9cd281dc710d6b4686
parentdf37e3eb2f97967b4f609f40f4790411d12a895e
Use official redirector address httpredir.debian.org [1]

The address `http.debian.net` is officially replaced by
`httpredir.debian.org`.

Use the following command to update all places.

git grep -l 'http.debian.net/debian' | xargs sed -i 's,http.debian.net/debian,httpredir.debian.org/debian,g'

[1] http://httpredir.debian.org
config
grml-debootstrap
grml-debootstrap.8.txt