ridiculousfish b28eae8be9 Allow custom completions to have leading dots
By default, fish does not complete files that have leading dots, unless the
wildcard itself has a leading dot. However this also affected completions;
for example `git add` would not offer `.gitlab-ci.yml` because it has a
leading dot.

Relax this for custom completions. Default file expansion still
suppresses leading dots, but now custom completions can create
leading-dot completions and they will be offered.

Fixes #3707.

(cherry picked from commit b7de768c73f0a9b0a097b83db1f60726c3a9661a)
2023-12-31 09:55:09 +08: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
2023-10-08 17:15:20 +02: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-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