Yes, that's by design. Semicolons in filenames are valid (newlines are too, but that would make it impossible to use the "r" command and -f together).
The manual mentions: "Commands within a script or script-file can be separated by semicolons (;) or newlines (ASCII 10). Some commands, due to their syntax, cannot be followed by semicolons working as command separators and thus should be terminated with newlines or be placed at the end of a script or script-file. Commands can also be preceded with optional non-significant whitespace characters." However, it fails to detail which commands are parsed this way. I'll fix it, thanks! -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org