#!/bin/sh . /etc/mgatools.conf function isingroup() { grp="$1" for group in `groups` do if [ "$grp" = "$group" ] then return 0 fi done return 1 } function inlist() { k="$1" list="$2" for e in $list do if [ a"$k" = a"$e" ] then return 0 fi done return 1 } function update_hdlist() { repository="$1" fdeps="$repository/../../media_info/file-deps" test -f "$fdeps" && ofdeps="--file-deps $fdeps" /usr/bin/genhdlist2 -v --versioned --allow-empty-media $ofdeps "$repository" } function update_common_MD5SUM() { distrorelease="$1" for arch in $arches do pushd "$distribdir/$distrorelease/$arch/media/media_info" /usr/bin/md5sum hdlist_* synthesis.* > MD5SUM popd done } function mirror_repository() { distrorelease="$1" /usr/bin/rsync $mirror_rsync_options "$distribdir/$distrorelease/" "$finaldistribdir/$distrorelease/" }