|
From: | Rik |
Subject: | [Octave-bug-tracker] [bug #59275] delete.m: permission denied warning does not have an id |
Date: | Thu, 15 Oct 2020 22:58:35 -0400 (EDT) |
User-agent: | Mozilla/5.0 (X11; Linux x86_64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/85.0.4183.121 Safari/537.36 |
Follow-up Comment #4, bug #59275 (project octave): I agree with jwe that if we want to be consistent we should add an ID for every error in Octave so they can be turned on or off by the user. This doesn't feel worth the time. First, there are hundreds of errors so even coming up with unique names is difficult. Second, aside from a few frequent errors, almost nobody cares whether they are on or off. _______________________________________________________ Reply to this item at: <https://savannah.gnu.org/bugs/?59275> _______________________________________________ Message sent via Savannah https://savannah.gnu.org/
[Prev in Thread] | Current Thread | [Next in Thread] |