# to be sourced

. /etc/mgatools.conf

function isingroup()
{
    grp="$1"
    for group in `groups`; do
        [ "$grp" = "$group" ] && return 0
    done
    return 1
}

function inlist()
{
    k="$1"
    list="$2"
    for e in $list; do
        [ "$k" = "$e" ] && return 0
    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/"
}