#!/bin/bash -x

echo $0
#echo $*

DIST=$1
shift

for file in $* ; do 
    echo $file ; 
    reprepro -V --delete --ignore=wrongdistribution --ignore=missingfile include $DIST $file ; 
    echo "Press enter to continue" ; 
    read enter ; 
done