2015-08-14 15:46:59 +02:00
|
|
|
#!/bin/bash
|
|
|
|
|
|
|
|
|
|
source "${PALUDIS_EBUILD_DIR}/echo_functions.bash"
|
2015-08-14 16:41:35 +02:00
|
|
|
source "${PALUDIS_EBUILD_DIR}/die_functions.bash"
|
2015-08-14 21:35:32 +02:00
|
|
|
source "/etc/paludis/hooks/set_portdir.bash"
|
2015-08-14 15:46:59 +02:00
|
|
|
|
|
|
|
|
|
|
|
|
|
cd "${PORTDIR}"/metadata || die "could not cd into '${PORTDIR}/metadata'!"
|
|
|
|
|
if [[ -e dtd ]] ; then
|
|
|
|
|
einfo "dtd dir already exists, updating..."
|
2015-08-15 16:52:22 +02:00
|
|
|
cd dtd || die "could not cd into 'dtd'!"
|
2015-08-14 15:46:59 +02:00
|
|
|
git pull --ff || die "could not pull updates!"
|
|
|
|
|
else
|
|
|
|
|
einfo "dtd directory does not exist, cloning..."
|
|
|
|
|
git clone https://anongit.gentoo.org/git/data/dtd.git || die "could not clone repository!"
|
|
|
|
|
fi
|
|
|
|
|
|