|
From: | GNU bug Tracking System |
Subject: | [debbugs-tracker] bug#36206: closed ([PATCH] Change `user-error' docstring from "pilot error" to "user error") |
Date: | Thu, 27 Jun 2019 09:38:01 +0000 |
Your message dated Thu, 27 Jun 2019 02:37:20 -0700 with message-id <address@hidden> and subject line Re: bug#36206: [PATCH] Change `user-error' docstring from "pilot error" to "user error" has caused the debbugs.gnu.org bug report #36206, regarding [PATCH] Change `user-error' docstring from "pilot error" to "user error" to be marked as done. (If you believe you have received this mail in error, please contact address@hidden.) -- 36206: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=36206 GNU Bug Tracking System Contact address@hidden with problems
--- Begin Message ---Subject: [PATCH] Change `user-error' docstring from "pilot error" to "user error" Date: Fri, 14 Jun 2019 13:09:06 +0200 The documentation of `user-error' says that it will "Signal a pilot error", which I personally find confusing. For starters, "pilot" could also mean "done as an experiment or test before being introduced more widely". It's more clear to say "user error". I don't have any data on this, but in my experience this is also more in line with how other programming languages names this class of errors. See the attached patch for my suggested improvements. Thanks, Stefan Kangas0001-Clarify-error-and-user-error-docstrings.patch
Description: Text Data
--- End Message ---
--- Begin Message ---Subject: Re: bug#36206: [PATCH] Change `user-error' docstring from "pilot error" to "user error" Date: Thu, 27 Jun 2019 02:37:20 -0700 User-agent: Mozilla/5.0 (X11; Linux x86_64; rv:60.0) Gecko/20100101 Thunderbird/60.7.1 Noam Postavsky wrote:s/[“”]/"/ (I hope this doesn't set off another round of bike-shedding).OK, thanks, I installed the patches with that further change, and am closing the bug report.
--- End Message ---
[Prev in Thread] | Current Thread | [Next in Thread] |