diff --git a/releng/releng_isojigdo b/releng/releng_isojigdo index c80ca07b..8e6ea431 100755 --- a/releng/releng_isojigdo +++ b/releng/releng_isojigdo @@ -285,9 +285,15 @@ esac # sort out the cruft cleanup +# warn about downloaded image left behind +if [ -f "${TMP_DATA_DIR}"/"${REMOTE_IMG}" ]; then + printf "${SELF}: Leaving " + ls -sh "${TMP_DATA_DIR}"/"${REMOTE_IMG}" +fi + # last hints printf "\n${SELF}: HINT: manual checks remained to be done:\n" -printf " * ${GEN_DATA_DIR}/${RELENG_IMG}.img boots from USB stick and/or optical media.\n" +printf " * ${GEN_DATA_DIR}/${RELENG_IMG}.iso boots from USB stick and/or optical media.\n" printf " * appended FAT partition is mountable.\n" printf " * xorriso -indev ${GEN_DATA_DIR}/${RELENG_IMG}.iso -pvd_info\n" printf " * fdisk -lu ${GEN_DATA_DIR}/${RELENG_IMG}.iso\n"