Re: file-precious-flag not taken seriously enough?

[Stefan Monnier]

>> In case the usual file saving method results in a problem (which
>> file-precious-flag was set to prevent), shouldn't there be a warning
>> message here to inform the user?  Not to distract him/her, but so that
>> they can find a clue in the *Messages* buffer after something has gone
>> wrong.
> Or another option: at least flash a message that file-precious-flag is
> going to be ignored, when that's the case.

Yes, a message like "Dir read-only: ignoring file-precious-flag" sounds like
a good idea.


        Stefan