Fabian Boehm
6706b15fbc
fish_add_path: Automatically enable verbose mode for interactive use
...
fish_add_path can be used either interactively, in the commandline,
or in config.fish. That's its greatest strength, it's a very
DWIM-style command.
One of the compromises that entails, however, is that it can't really
be very loud about what it does. If it skips a path, it can't write a
warning because it might be used in config.fish.
But it *can* if it's used interactively. So we try to detect that case
and enable verbose mode automatically.
That means if you do
```fish
fish_add_path /opt/mytool/bin/mytool
```
it may tell you "Skipping path because it is a file instead of a
directory:".
The check isn't perfect, it goes through status current-command and
isatty, but it should be good for most cases (and be false in config.fish).
2024-06-06 16:47:39 +02:00
..
2022-01-19 22:56:41 +08:00
2024-04-28 11:33:27 +02:00
2024-04-20 13:34:08 +02:00
2022-09-24 10:56:43 +02:00
2024-02-03 21:41:50 +01:00
2022-03-12 00:21:13 +08:00
2023-06-05 18:26:13 +02:00
2024-05-22 22:38:06 +02:00
2024-04-23 19:36:11 +02:00
2022-09-24 10:56:43 +02:00
2022-01-19 22:56:41 +08:00
2022-09-30 18:50:14 +02:00
2022-01-19 22:56:41 +08:00
2024-04-20 13:34:08 +02:00
2024-04-20 15:36:29 +02:00
2024-04-20 13:34:08 +02:00
2024-04-26 11:16:30 +02:00
2023-11-14 16:32:43 +01:00
2022-03-12 00:21:13 +08:00
2022-09-24 10:56:43 +02:00
2022-01-19 22:56:41 +08:00
2022-09-24 10:56:43 +02:00
2022-09-24 10:56:43 +02:00
2024-03-19 16:39:37 +01:00
2024-04-20 13:34:08 +02:00
2022-09-24 10:56:43 +02:00
2022-03-12 00:21:13 +08:00
2022-09-24 10:56:43 +02:00
2022-09-24 10:56:43 +02:00
2024-04-20 13:34:08 +02:00
2022-09-24 10:56:43 +02:00
2022-09-24 10:56:43 +02:00
2022-09-24 10:56:43 +02:00
2024-06-06 16:47:39 +02:00
2022-09-24 10:56:43 +02:00
2024-04-20 15:36:29 +02:00
2024-04-20 15:36:29 +02:00
2022-01-19 22:56:41 +08:00
2023-06-16 16:17:58 +02:00
2023-04-19 19:22:55 +02:00
2022-10-19 20:06:35 +02:00
2022-10-21 20:22:20 +02:00
2024-01-06 15:26:20 +01:00
2022-09-24 10:56:43 +02:00
2024-04-15 08:32:31 +02:00
2022-01-19 22:56:41 +08:00
2024-04-20 15:36:29 +02:00
2023-12-17 17:40:45 +08:00
2023-11-18 18:27:25 -08:00
2022-01-19 22:56:41 +08:00
2020-02-19 17:00:35 -08:00
2024-03-09 12:09:00 +01:00
2022-01-19 22:56:41 +08:00
2022-09-24 10:56:43 +02:00
2022-01-19 22:56:41 +08:00
2022-01-19 22:56:41 +08:00
2022-09-24 10:56:43 +02:00
2023-12-17 17:40:45 +08:00
2022-01-19 22:56:41 +08:00
2022-09-24 10:56:43 +02:00
2024-04-20 15:36:29 +02:00
2022-09-24 10:56:43 +02:00
2024-04-20 15:36:29 +02:00
2023-02-13 09:59:28 -06: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-04-20 13:34:08 +02:00
2024-01-30 20:12:56 +01:00
2022-09-24 10:56:43 +02:00
2024-04-20 13:34:08 +02:00
2022-01-19 22:56:41 +08:00
2022-09-24 10:56:43 +02:00
2024-05-26 22:06:11 -05:00
2022-09-24 10:56:43 +02:00
2022-09-24 10:56:43 +02:00
2024-04-20 13:34:08 +02:00
2022-01-19 22:56:41 +08:00
2022-03-12 00:21:13 +08:00
2022-12-30 14:31:32 +01:00
2022-03-12 00:21:13 +08:00
2022-09-24 10:56:43 +02:00
2024-04-20 13:34:08 +02:00
2022-03-12 00:21:13 +08:00
2024-05-27 23:21:06 +02:00
2024-04-20 13:34:08 +02:00
2022-09-24 10:56:43 +02:00
2023-11-22 18:42:34 +01:00
2024-05-14 17:31:47 +02:00
2024-04-20 13:34:08 +02:00
2022-10-26 12:15:02 -05:00
2022-05-14 10:05:02 +02:00
2022-03-12 22:22:02 +08:00
2020-02-19 17:00:35 -08:00
2022-03-13 11:47:33 +01:00
2022-03-12 22:22:02 +08:00
2022-03-12 22:22:02 +08:00
2023-01-08 12:44:02 +01:00
2023-04-20 22:17:08 +02:00
2024-02-11 12:43:13 +01:00
2022-03-12 22:22:02 +08:00
2023-04-20 22:17:08 +02:00
2020-02-19 17:00:35 -08:00
2022-09-24 10:56:43 +02:00
2022-05-14 10:05:02 +02:00
2022-03-12 22:22:02 +08:00
2020-02-19 17:00:35 -08:00
2022-03-12 22:22:02 +08:00
2024-02-11 12:43:13 +01:00
2022-03-12 00:21:13 +08:00
2023-01-09 20:33:37 +01:00
2024-04-21 14:25:54 +02:00
2024-04-20 13:34:08 +02:00
2024-04-20 13:34:08 +02:00
2022-09-24 10:56:43 +02:00
2024-04-20 13:34:08 +02:00
2022-09-17 21:31:06 +08:00
2024-04-20 13:34:08 +02:00
2022-03-12 00:21:13 +08:00
2024-04-20 13:34:08 +02:00
2022-09-24 10:56:43 +02:00