openmamba/autodist
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

autodist-repository: change default destination repository from devel to base

Browse Source
This commit is contained in:
Silvan Calarco 2023-08-11 10:32:33 +02:00
parent d85e5aae68
commit ceea7ef522
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
autodist-repository
View File

@ -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