Fabian Boehm 30a37d9433 abbr: Make show output actually work
This would print

```
abbr -a -- dotdot --regex ^\\.\\.+\$ --function multicd
```

which expands "dotdot" to "--regex ^\\.\\.+\$...".

Instead, we move the name to right before the replacement, and move
the `--` before that:

```
abbr -a --regex ^\\.\\.+\$ --function -- dotdot multicd
```

It might be possible to improve that, but this at least round-trips.
2022-12-13 19:38:58 +01: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
2022-08-27 11:41:29 +02:00
2022-08-21 15:02:19 -07:00
2022-11-16 14:10:30 -06:00
2021-10-01 03:39:43 -07:00
2022-08-20 23:55:18 -07:00
2022-08-27 20:33:39 +02: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-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
2022-12-10 16:15:00 -08:00
2021-09-21 18:33:14 -07:00
2022-08-20 23:55:18 -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-10-28 20:10:09 -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-11-15 19:02:30 +01: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-10-28 20:10:09 -07:00
2022-08-20 23:55:18 -07:00
2022-12-10 12:24:43 -08:00
2022-12-10 12:24:43 -08:00
2022-12-10 16:15:00 -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-10-28 20:10:09 -07: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-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-09-09 18:52:45 +02: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
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-10-26 19:58:40 -07:00
2022-08-20 23:55:18 -07:00
2022-10-26 19:58:40 -07:00