wget -q -O - http://ftp.indexdata.dk/debian/indexdata.asc|apt-key add -
echo "deb http://ftp.indexdata.dk/${OS} ${DIST} main" >/etc/apt/sources.list.d/indexdata.list
wget -q -O - http://ftp.indexdata.dk/debian/indexdata.asc|apt-key add -
echo "deb http://ftp.indexdata.dk/${OS} ${DIST} main" >/etc/apt/sources.list.d/indexdata.list