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.
Gruesse,
--
Frank Lichtenheld <djpig@debian.org>
www: http://www.djpig.de/
Reply to: