From ec1ce8a85d7fbef73ea2ff8d75b27c596164172f Mon Sep 17 00:00:00 2001 From: Ansgar Burchardt Date: Sat, 23 Jan 2016 12:30:30 +0100 Subject: [PATCH] Add new "mirror" cronscript This just prepares the mirror tree and pushes the changes to the mirrors. It is intended to be used for point releases or in other situations where a manual mirror push is needed. --- config/debian/mirror.functions | 1 + config/debian/mirror.tasks | 3 +++ config/debian/mirror.variables | 1 + 3 files changed, 5 insertions(+) create mode 120000 config/debian/mirror.functions create mode 100644 config/debian/mirror.tasks create mode 120000 config/debian/mirror.variables diff --git a/config/debian/mirror.functions b/config/debian/mirror.functions new file mode 120000 index 00000000..d60ba566 --- /dev/null +++ b/config/debian/mirror.functions @@ -0,0 +1 @@ +dinstall.functions \ No newline at end of file diff --git a/config/debian/mirror.tasks b/config/debian/mirror.tasks new file mode 100644 index 00000000..48292da9 --- /dev/null +++ b/config/debian/mirror.tasks @@ -0,0 +1,3 @@ +# FUNC ARGS TIME ERR BG +mirror none none true false +mirrorpush none none true false diff --git a/config/debian/mirror.variables b/config/debian/mirror.variables new file mode 120000 index 00000000..106c8502 --- /dev/null +++ b/config/debian/mirror.variables @@ -0,0 +1 @@ +dinstall.variables \ No newline at end of file -- 2.39.5