From ceea7ef5225175cd7a31007ead00e1e7dfd7a451 Mon Sep 17 00:00:00 2001 From: Silvan Calarco Date: Fri, 11 Aug 2023 10:32:33 +0200 Subject: [PATCH] autodist-repository: change default destination repository from devel to base --- autodist-repository | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/autodist-repository b/autodist-repository index b564ccf..93378f3 100755 --- a/autodist-repository +++ b/autodist-repository @@ -1,6 +1,6 @@ # # autodist repositories maintainance script -# Copyright (c) 2007-2014 by Silvan Calarco +# Copyright (c) 2007-2023 by Silvan Calarco # . /etc/autodist/config [ -r /etc/autodist/config-secret ] && . /etc/autodist/config-secret @@ -29,7 +29,7 @@ function usage() { echo "$me setwarning REPOSITORY {PKG ...} -t \"TEXT\"" echo "$me verify REPOSITORY [PKGS ...]" echo - echo " -d use given repository as destination (default: devel)" + echo " -d use given repository as destination (default: base)" echo " -f force operation" echo " -r match repositories with given regexp" echo " -s simulate operations to see if it would work" @@ -645,7 +645,7 @@ function extract_diffinfo() { [ $1 ] || { usage; exit 0; } origrepository= -destrepository=devel +destrepository=base packages= command= simulate=0