Fabian Homborg e013422143 Deduplicate $fish_user_paths automatically
In the variable handler, we just go through the entire thing and keep
every element once.

If there's a duplicate, we set it again, which calls the handler
again.

This takes a bit of time, to be paid on each startup. On my system,
with 100 already deduplicated elements, that's about 4ms (compared to
~17ms for adding them to $PATH).

It's also semantically more complicated - now this variable
specifically is deduplicated? Do we just want "unique" variables that
can't have duplicates?

However: This entirely removes the pathological case of appending to
$fish_user_paths in config.fish (which should be an FAQ entry!), and the implementation is quite simple.
2021-07-14 16:37:30 +02:00
..
2020-02-08 13:30:48 +01:00
2021-02-16 16:45:59 +01:00
2020-12-28 23:23:06 +01:00
2019-06-26 21:19:40 +02:00
2020-01-19 15:07:06 +01:00
2021-02-15 17:08:26 +01:00
2021-06-23 21:30:10 +02:00
2020-12-29 12:48:11 +01:00
2020-02-07 20:53:20 +01:00
2021-06-24 18:19:28 +02:00
2020-04-26 08:49:01 +02:00
2021-06-24 20:46:03 +02:00
2020-02-17 11:39:53 +01:00
2021-06-24 18:17:10 +02:00
2021-07-03 08:45:47 +02:00
2019-07-09 10:02:50 -07:00
2021-06-24 20:46:03 +02:00
2021-06-24 18:17:10 +02:00
2021-06-24 20:46:03 +02:00
2021-03-02 14:53:02 +01:00
2020-03-16 21:21:10 +01:00
2021-06-24 18:17:10 +02:00
2020-09-26 14:56:03 +02:00