Jorge Arellano Cid wrote:
Hi Roberto,
A meta-refresh patch is small and almost no bloat, so maybe having it as a 'configure' option for embedded developers that know what they're doing could be considered. FWIW, I decided not to make it public long ago because some packagers were just picking up patches from the net and making them available to users that were even more unaware than the packager! :-)
For this reason I decide to have -r option instead put an option in a config file because packager could deliver its own default config with that option activated by default. It could be much more difficult for the packager to force me using that option by command line, instead. ;-) Users would have option active by default could have an alias dillo = 'dillo -r', but a bona-fide package install should not change users alias. Yes, by the way, it could modify /etc/profile but it could apply a rootkit too... ;-) Cheers, -- Roberto A. Foglietta Analista Programmatore GNU/Linux SAD Trasporto Locale S.p.a. Corso Italia 13/N 39100 BOLZANO (I) Tel. +39/0471-450.261 Fax +39/0471-450.253