Files
fish-shell/src
Fabian Boehm 7815cb363c parse_util: Only reject time in a pipeline without decorator
This allows e.g. `foo | command time`, while still rejecting `foo | time`.

(this should really be done in the ast itself, but tbh most of
parse_util kinda should)

Fixes #9985

(cherry picked from commit 482616f101)
2023-10-06 18:50:02 +02:00
..
2020-07-04 14:58:02 -07:00
2022-10-28 20:10:09 -07:00
2022-10-28 20:10:09 -07:00
2022-10-28 20:10:09 -07:00
2022-08-20 23:55:18 -07:00
2022-08-27 11:41:29 +02:00
2022-08-21 15:02:19 -07:00
2021-10-01 03:39:43 -07:00
2023-01-14 12:58:20 -08:00
2022-10-28 20:10:09 -07:00
2022-10-15 15:15:04 -05:00
2022-08-20 23:55:18 -07:00
2022-09-13 06:56:52 -07:00
2022-09-12 18:34:19 -07:00
2022-10-28 20:10:09 -07:00
2022-08-20 23:55:18 -07:00
2022-08-21 15:02:19 -07:00
2023-01-14 12:58:20 -08:00
2021-09-21 18:33:14 -07:00
2022-08-21 15:02:19 -07:00
2022-08-20 23:55:18 -07:00
2022-12-10 16:15:00 -08:00
2022-10-26 20:04:04 -07:00
2022-08-21 15:02:19 -07:00
2022-10-28 20:10:09 -07:00
2022-10-26 20:04:04 -07:00
2022-10-28 20:10:09 -07:00
2022-10-16 15:38:11 -05:00
2022-08-20 23:55:18 -07:00
2022-10-28 20:10:09 -07:00
2022-08-21 15:02:19 -07:00
2022-08-20 23:55:18 -07:00
2022-12-10 12:24:43 -08:00
2022-10-28 20:10:09 -07:00
2022-10-28 20:10:09 -07:00
2022-08-20 23:55:18 -07:00
2022-08-21 15:02:19 -07:00
2022-10-26 20:04:04 -07:00
2022-08-20 23:55:18 -07:00
2022-10-28 20:10:09 -07:00
2022-10-28 20:10:09 -07:00
2022-10-28 20:10:09 -07:00
2022-08-20 23:55:18 -07:00
2022-08-20 23:55:18 -07:00
2023-01-23 20:04:43 +01:00
2022-12-10 12:24:43 -08:00
2022-12-10 16:15:00 -08:00
2022-08-21 15:02:19 -07:00
2022-10-28 20:10:09 -07:00
2022-08-21 15:02:19 -07:00
2022-08-21 15:02:19 -07:00
2022-08-30 23:56:33 -07:00
2022-08-20 23:55:18 -07:00
2022-10-26 19:58:40 -07:00
2022-10-26 19:58:40 -07:00
2022-10-28 20:10:09 -07:00
2022-08-21 15:02:19 -07:00
2022-08-20 23:55:18 -07:00
2022-08-20 23:55:18 -07:00
2020-02-14 19:06:19 +01:00
2022-08-21 15:02:19 -07:00
2022-12-11 10:26:39 -08:00
2022-12-04 14:48:20 -08:00
2022-08-20 23:55:18 -07:00
2023-03-21 17:17:55 +01:00