Johannes Altmanninger 414d9a1eb1 Reference more non-fish shell builtins that have relevant differences
When writing scripts for other shells, it can be confusing and annoying
that our `man` function shadows other manual pages, for example `exec(1p)`
from [Linux man-pages]. I almost never want to see the fish variant for such
contended cases (which obviuosly don't include fish-specific commands like
`string`, only widely-known shell builtins).

For the contented cases like `exec`, the POSIX documentation is more
substantial and useful, since it describes a (sub)set of languages widely
used for scripting.

Because of this I think we should stop overriding the system's man pages.
Nowadays we offer `exec -h` as intuitive way to show the documentation for
the fish-specific command (note that `help` is not a good replacement because
it uses a web browser).

Looking through the contended commands, it seems like for most of them,
the fish version is not substantially different from the system version.
A notable exception is `read` but I don't think it's a very important one.

So I think we should can sacrifice a bit of the native fish-scripting
experience in exchange for playing nicer with other shells. I think the
latter is more important because scripting is not our focus, the way I see it.
So maybe put our manpath at the end.

In lieu of that, let's at least have `exec.rst` reference the system variant.

[Linux man-pages]: https://www.kernel.org/doc/man-pages/

Closes #10376
2024-04-20 13:34:08 +02:00
..
2023-07-04 18:30:28 +02:00
2022-03-12 00:21:13 +08:00
2023-06-05 18:26:13 +02:00
2022-03-12 00:21:13 +08:00
2022-03-12 00:21:13 +08:00
2023-11-18 18:27:25 -08:00
2023-01-09 20:33:37 +01:00
2024-04-15 08:31:16 +02:00
2023-02-28 20:49:11 +01:00
2022-10-19 20:10:26 +02:00
2024-01-30 20:12:56 +01:00
2022-03-12 00:21:13 +08:00
2022-03-12 00:21:13 +08:00
2022-03-12 00:21:13 +08:00
2023-11-22 18:42:34 +01:00
2024-01-02 21:54:07 +01:00
2022-10-26 12:15:02 -05:00
2022-03-12 00:21:13 +08:00
2023-01-09 20:33:37 +01:00
2022-09-17 21:31:06 +08:00
2022-03-12 00:21:13 +08:00