Oscar Figueiredo <Oscar.Figueiredo(a)di.epfl.ch> writes:
>>>>> "Hrvoje" == Hrvoje Niksic
<hniksic(a)srce.hr> writes:
Hrvoje> OK, for quite a few betas Info has been pretty insistent
Hrvoje> in throwing warnings in my face. I was kind of hoping
Hrvoje> this would be resolved, so I stayed silent. However, it
Hrvoje> is not getting solved, so I have to speak up.
The subject has been discussed for a while some time ago. I made
some changes according to the state that discussion was left and
since nobody complained, I assumed that everybody accepted the
current behaviour.
You certainly haven't made changes according to my suggestions,
because I surely wanted the warning to go away, and so did Jan and
Chipsy.
Hrvoje> The warning is this:
Hrvoje> (1) (info/notice) Outdated info dir file: /usr/local/info/dir
This is not strictly a warning but a notice.
But it is flashed in my face and I have to press C-x 1 every time I
see it. This is more serious than you might think. Warnings should
*never* be flashed without a good reason for them, or the users will
learn to ignore them.
Hrvoje> Of course, I don't even have permission to modify
the
Hrvoje> /usr/local/info/dir file, and neither has any of the users
Hrvoje> on the machine I run XEmacs on. So, the warning will be
Hrvoje> seen by all of them, and likely many more of our users in
Hrvoje> the world. What is the *purpose* of this warning, anyway?
Hrvoje> Warnings should inform the user of a condition he/she
Hrvoje> should remedy.
Your not having the right to overwrite that file at the moment you
run Info does not mean you can not acquire that right.
?????????????????????
How do you expect me to be able to write to /usr/local/info/dir?! I
run XEmacs on a multi-user machine, for Christ's sake!
- set `Info-rebuild-outdated-dir' to `never' or
`always'
- set `display-warning-minimum-level' to 'warning
- set `display-warning-suppressed-classes' to '(info)
I don't want to do either of these things. I want the warning to go
away.
--
Hrvoje Niksic <hniksic(a)srce.hr> | Student at FER Zagreb, Croatia
--------------------------------+--------------------------------
Oh lord won't you buy me a color TV...