Olliver Schinagl
ae614fb397
tools: Improve diffability/maintainability
...
There's no purpose to squish multiple tools into a single line (and
spread those out over multiple lines). It might look 'nice' in certain
conditions, but it's annoying to maintain.
For example, but not limited to:
* adding/removing tools, causes hard to read diffs
* Duplicates are harder to spot
* Sorting can not be (easily?) automated
With this proposed change, the above annoyances go away. Inserting a new
tool can be done with a single line-change-diff, sorting can be done by
any editor (in vi, select, :sort for example) and dupes are much easier
to spot.
Signed-off-by: Olliver Schinagl <oliver@schinagl.nl>
2022-12-24 11:54:10 +01:00
..
2022-07-31 15:29:39 +02:00
2016-12-16 22:39:22 +01:00
2021-09-20 15:21:17 +02:00
2022-10-20 00:33:22 +02:00
2019-07-26 08:09:16 +02:00
2022-12-17 20:26:51 +01:00
2022-10-22 22:50:37 +02:00
2022-10-20 00:33:22 +02:00
2020-11-24 15:39:07 +01:00
2020-11-24 15:39:07 +01:00
2022-12-17 20:49:15 +08:00
2022-12-06 23:10:40 +01:00
2022-10-20 00:33:22 +02:00
2022-10-20 00:33:22 +02:00
2022-12-14 20:29:36 +02:00
2022-10-22 22:53:24 +02:00
2022-12-06 23:09:00 +01:00
2016-12-16 22:39:22 +01:00
2022-11-05 14:07:46 +00:00
2022-10-31 21:27:48 +01:00
2022-11-05 14:07:46 +00:00
2022-10-20 00:33:22 +02:00
2022-12-15 17:47:05 +01:00
2022-10-20 00:33:22 +02:00
2022-10-20 00:33:22 +02:00
2022-10-22 22:53:24 +02:00
2019-07-08 16:42:26 +02:00
2022-10-20 00:33:22 +02:00
2020-03-14 13:20:06 +00:00
2022-10-20 00:33:22 +02:00
2018-07-12 18:15:33 +02:00
2022-12-18 16:34:47 +01:00
2022-10-20 00:33:22 +02:00
2022-09-07 04:22:40 +01:00
2022-10-20 00:33:22 +02:00
2021-02-05 12:00:24 -10:00
2022-10-20 00:33:22 +02:00
2020-01-05 20:04:37 +01:00
2022-10-02 16:05:32 +02:00
2020-09-17 12:46:19 +02:00
2022-10-23 16:29:59 +01:00
2022-03-01 00:08:08 +01:00
2022-12-17 17:46:32 +01:00
2022-11-27 00:52:06 +01:00
2022-11-05 14:07:46 +00:00
2022-11-05 14:07:46 +00:00
2022-06-13 19:50:25 +02:00
2020-07-23 10:54:33 +02:00
2022-11-20 18:44:43 +01:00
2020-09-02 16:29:22 +02:00
2022-12-18 23:19:23 +01:00
2022-09-07 04:22:39 +01:00
2022-02-25 14:12:39 +01:00
2018-12-16 14:03:35 +01:00
2022-12-18 21:40:58 +01:00
2022-10-20 00:33:22 +02:00
2020-05-24 14:38:40 +02:00
2021-06-20 18:59:36 -10:00
2021-09-20 15:21:17 +02:00
2022-10-20 00:33:22 +02:00
2022-12-19 23:25:35 +01:00
2022-10-20 00:33:22 +02:00
2022-10-22 22:53:24 +02:00
2022-09-27 23:17:51 +02:00
2022-12-24 11:54:10 +01:00