repo.sh: Add option to skip pull from remote (-p)

pull/196/head
Jan Houben 7 years ago
parent aee987fa6f
commit e4747b60f5
No known key found for this signature in database
GPG Key ID: 6866AADB974DD983
  1. 7
      repo.sh

@ -35,6 +35,7 @@ usage() {
echo " -n: Dryrun; Output commands, but don't do anything." echo " -n: Dryrun; Output commands, but don't do anything."
echo " -d: Show debug info." echo " -d: Show debug info."
echo " -s: Sign packages only." echo " -s: Sign packages only."
echo " -p: Do not sync from remote repo."
echo echo
echo "Modes:" echo "Modes:"
echo echo
@ -84,6 +85,8 @@ for (( a = 0; a < $#; a++ )); do
repo_name="clean-chroot-manager" repo_name="clean-chroot-manager"
elif [[ ${args[$a]} == "-s" ]]; then elif [[ ${args[$a]} == "-s" ]]; then
sign_packages=1 sign_packages=1
elif [[ ${args[$a]} == "-p" ]]; then
no_pull_remote=1
elif [[ ${args[$a]} == "-n" ]]; then elif [[ ${args[$a]} == "-n" ]]; then
dry_run=1 dry_run=1
elif [[ ${args[$a]} == "-d" ]]; then elif [[ ${args[$a]} == "-d" ]]; then
@ -402,10 +405,10 @@ fi
debug "repo_name: ${repo_name}" debug "repo_name: ${repo_name}"
debug "repo_target: ${repo_target}" debug "repo_target: ${repo_target}"
if [[ ${pull_remote_repo} -eq 1 ]]; then if [[ ${pull_remote_repo} -eq 1 ]] && [[ ${no_pull_remote} -ne 1 ]]; then
pull_repo pull_repo
fi fi
if [[ ${pull_remote_testing_repo} -eq 1 ]]; then if [[ ${pull_remote_testing_repo} -eq 1 ]] && [[ ${no_pull_remote} -ne 1 ]]; then
pull_testing_repo pull_testing_repo
fi fi

Loading…
Cancel
Save