[Mike Gabriel] > There was a name change of that file necessary, recently, still we > should keep the old URL intact IMHO. Maybe using a hard link instead > of a symlink at the above location will be a solution?
Hard link do not work, as the file is replaced when the ISO is built. I removed the symlink, to avoid such problems in the future, as the symlink did not really work as expected. % ls -l debian-edu-amd64-i386-DVD-1.iso lrwxrwxrwx 1 root root 34 Dec 13 23:05 debian-edu-amd64-i386-DVD-1.iso -> debian-edu-amd64-i386-CUSTOM-1.iso % rm debian-edu-amd64-i386-DVD-1.iso % -- Happy hacking Petter Reinholdtsen -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected] Archive: http://lists.debian.org/[email protected]

