Searched refs:ISO_FILE (Results 1 – 1 of 1) sorted by relevance
3 ISO_FILE=debian-11.4.0-arm64-DVD-1.iso11 if [ ! -f "$DIR/$ISO_FILE" ]; then13 wget https://cdimage.debian.org/debian-cd/current/arm64/iso-dvd/$ISO_FILE -P $DIR/16 echo "please check link: https://cdimage.debian.org/debian-cd/current/arm64/iso-dvd/$ISO_FILE"25 xorriso -osirrox on -indev $DIR/$ISO_FILE -extract / $DEBIAN_DIR170 xorriso -as mkisofs -r -V 'Debian 11 ARM64' -o $SDK_PATH/rockdev/rk3588-$ISO_FILE -J -joliet-long …