[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#36206: [PATCH] Change `user-error' docstring from "pilot error" to "
|
From: |
Richard Stallman |
|
Subject: |
bug#36206: [PATCH] Change `user-error' docstring from "pilot error" to "user error" |
|
Date: |
Fri, 14 Jun 2019 23:33:27 -0400 |
[[[ To any NSA and FBI agents reading my email: please consider ]]]
[[[ whether defending the US Constitution against all enemies, ]]]
[[[ foreign or domestic, requires you to follow Snowden's example. ]]]
> I think "pilot error" is too jargony. We don't want to force people to
> look for unusual idioms in nerdy dictionaries while they're reading
> documentation. At least, not on purpose. And certainly looking for
> "pilot error" in Google will only add to their confusion.
> There's a place for clever. Documentation is not that place, IMHO.
I agree.
--
Dr Richard Stallman
President, Free Software Foundation (https://gnu.org, https://fsf.org)
Internet Hall-of-Famer (https://internethalloffame.org)
- bug#36206: [PATCH] Change `user-error' docstring from "pilot error" to "user error", Stefan Kangas, 2019/06/14
- bug#36206: [PATCH] Change `user-error' docstring from "pilot error" to "user error", Drew Adams, 2019/06/14
- bug#36206: [PATCH] Change `user-error' docstring from "pilot error" to "user error", Dmitry Gutov, 2019/06/14
- bug#36206: [PATCH] Change `user-error' docstring from "pilot error" to "user error", Juri Linkov, 2019/06/14
- bug#36206: [PATCH] Change `user-error' docstring from "pilot error" to "user error", Juri Linkov, 2019/06/15
bug#36206: [PATCH] Change `user-error' docstring from "pilot error" to "user error", Paul Eggert, 2019/06/22