[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Re: http://www.debian.org vs $(HOME)

On Sat, Jun 11, 2005 at 05:09:13PM +0200, Thomas Huriaux wrote:
> Hi,
> Shouldn't it be better to replace all the links pointing to
> http://www.debian.org/something by $(HOME)/something ?
> I'm waiting for a "just do it" to start playing with smart_change.pl.

Depends. There may be places where it is better (or actually needed)
to use the URL. Please just state the files you want to change if
you're unsure and I will provide you with a second opinion.

>From a first glance I would guess that to change all the occourences
in /News/ and /events/ would be correct but not worth your time...
(all old files of no particular interest anymore)

Most other places already seem to be exceptions with good reasons.

Frank Lichtenheld <djpig@debian.org>
www: http://www.djpig.de/

Reply to: