Fabian Homborg 425dabd6b1 Change fish_trace prefix to "->" instead of plusses
This matches what we do in --profile's output:

```
> source /home/alfa/.config/fish/config.fish
--> set -gx XDG_CACHE_HOME /home/alfa/.cache
--> set -gx XDG_CONFIG_HOME /home/alfa/.config
--> set -gx XDG_DATA_HOME /home/alfa/.local/share
```

instead of

```
+ source /home/alfa/.config/fish/config.fish
+++ set -gx XDG_CACHE_HOME /home/alfa/.cache
+++ set -gx XDG_CONFIG_HOME /home/alfa/.config
+++ set -gx XDG_DATA_HOME /home/alfa/.local/share
```
2020-12-11 21:24:33 +01:00
..
2020-07-04 14:58:02 -07:00
2020-11-15 11:19:23 +01:00
2020-11-22 14:39:48 +01:00
2020-11-22 14:39:48 +01:00
2020-08-15 16:06:54 -07:00
2020-11-22 14:39:48 +01:00
2020-11-22 14:39:48 +01:00
2020-11-22 14:39:48 +01:00
2020-11-22 14:39:48 +01:00
2020-12-06 15:39:54 +01:00
2020-11-22 14:39:48 +01:00
2020-11-22 14:39:48 +01:00
2020-11-22 14:39:48 +01:00
2020-11-22 14:39:48 +01:00
2020-12-06 15:39:54 +01:00
2020-11-22 14:39:48 +01:00
2020-09-21 20:58:34 +02:00
2020-11-22 14:39:48 +01:00
2020-06-24 20:43:56 +02:00
2020-12-05 11:46:01 -08:00
2020-12-06 15:39:54 +01:00
2020-03-14 15:07:54 -07:00
2020-12-11 18:43:04 +01:00
2020-06-25 00:56:49 -05:00
2020-10-06 17:25:45 +02:00
2020-03-14 15:07:54 -07:00
2020-08-06 11:51:08 -07:00
2020-07-08 11:00:12 -07:00
2020-02-12 22:02:32 +01:00
2020-11-15 11:32:52 +01:00
2020-12-06 15:39:54 +01:00
2020-12-05 13:19:07 -08:00
2020-11-22 14:39:48 +01:00
2020-09-21 17:44:58 +02:00
2020-09-12 19:06:28 -07:00
2020-11-22 14:39:48 +01:00
2020-11-22 14:39:48 +01:00
2020-10-31 18:15:19 +01:00
2020-11-22 14:39:48 +01:00
2020-09-05 13:24:26 -07:00
2020-09-05 13:24:26 -07:00
2020-09-03 11:01:27 -07:00
2020-09-03 11:01:27 -07:00
2020-08-08 15:32:06 -07:00
2020-11-22 14:39:48 +01:00
2020-12-06 13:42:35 -08:00
2020-12-05 13:19:07 -08:00
2020-09-03 11:01:27 -07:00
2020-01-15 13:16:43 -08:00
2020-11-22 14:39:48 +01:00
2020-10-31 18:15:19 +01:00
2020-05-01 13:30:56 -07:00
2019-11-25 13:07:15 +01:00
2020-11-15 15:20:55 +01:00
2020-01-03 01:07:49 -06:00
2020-12-06 15:39:54 +01:00
2020-08-24 12:12:10 -07:00
2020-05-01 13:30:56 -07:00
2020-02-14 19:06:19 +01:00
2020-11-22 14:39:48 +01:00
2020-10-25 22:48:49 -07:00