Zbigniew Jędrzejewski-Szmek
82c459f910
tools/update-distro-hash: rename, fetch the repository if appropriate
...
Let's rename the tool to tools/fetch-distro. It's useful to be able to fetch
the distro directly. But when that functionality is added, the old name is
confusing.
Now --update/-u must be specified to update the commits.
--reference-if-able is used to speed up the clone of debian.
It saves about 75% of the download.
2024-07-22 11:38:08 +02:00
..
2023-11-01 14:07:54 +00:00
2023-08-10 18:13:29 +02:00
2023-08-10 11:08:17 +02:00
2021-12-12 21:13:50 +01:00
2024-03-27 02:32:42 +09:00
2022-04-05 22:18:31 +02:00
2023-08-10 11:08:17 +02:00
2024-04-10 11:10:02 +02:00
2022-04-05 22:18:31 +02:00
2024-07-04 15:26:17 +02:00
2022-08-11 10:57:25 +02:00
2024-03-22 07:54:25 +09:00
2024-01-23 16:27:50 +01:00
2023-03-10 11:41:08 +01:00
2023-08-10 18:13:29 +02:00
2024-03-22 15:44:17 +01:00
2024-07-22 11:38:08 +02:00
2023-10-01 11:54:29 +01:00
2023-08-10 18:13:29 +02:00
2023-08-10 18:13:29 +02:00
2024-04-03 10:07:54 +09:00
2024-05-30 19:31:32 +02:00
2023-08-10 18:13:29 +02:00
2023-08-10 18:13:29 +02:00
2023-08-10 18:13:29 +02:00
2023-12-25 10:40:40 +01:00
2023-11-15 12:07:42 +00:00
2024-02-20 15:45:50 +01:00
2024-03-06 15:16:52 +01:00
2023-08-23 14:57:49 +02:00
2023-10-10 17:50:04 +01:00
2024-01-23 16:27:50 +01:00
2023-08-16 02:07:00 +01:00
2023-11-15 15:21:26 +01:00
2024-01-04 15:02:28 +01:00
2023-11-01 14:07:54 +00:00
2023-08-10 18:13:29 +02:00