Skip to content
Snippets Groups Projects
Commit 038288dd authored by Bob Mottram's avatar Bob Mottram
Browse files

Don't try to mirror debian repos

parent 660503b4
No related branches found
No related tags found
No related merge requests found
......@@ -156,9 +156,9 @@ function sync_trove_repos {
for line in "${REPOS[@]}"
do
repo_name=$(echo "$line" | awk -F '=' '{print $1}')
if [[ ${repo_name} != *".debian."* ]]; then
repo_url=$(echo "$line" | awk -F '=' '{print $2}' | awk -F '"' '{print $2}')
trove_name=$(echo "$repo_name" | sed "s|_REPO||g" | awk '{print tolower($0)}')
repo_url=$(echo "$line" | awk -F '=' '{print $2}' | awk -F '"' '{print $2}')
trove_name=$(echo "$repo_name" | sed "s|_REPO||g" | awk '{print tolower($0)}')
if [[ ${trove_name} != 'debian' ]]; then
if [[ $NEW_TROVE == 'yes' ]]; then
if [ -d /home/trove/${trove_name} ]; then
rm -rf /home/trove/${trove_name}
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment