Hello! You wrote: > My copy of "man flock" uses a 9. As POSIX (XCU §2.7 "Redirection") > says: > > Open files are represented by decimal numbers starting > with zero. The largest possible value is > implementation-defined; however, all implementations > shall support at least 0 to 9, inclusive, for use by the > application.
Ok, thank you - I did not know that. > However, as mentioned at <http://bugs.debian.org/590920>, a patch to > implement redirection to multi-digit file descriptors without making > dash larger is not likely to make anyone less happy, if you have time > for it. Maybe this behaviour can just be documented in the man-page: -- [n] redir-op file where redir-op is one of the redirection operators mentioned previously. Following is a list of the possible redirections. The [n] is an optional number between 0 and 9, as in ‘9’ (not ‘[9]’), that refers to a file descriptor. -- Even better would be to make the parser aware of this limitation and print out a better message when this situation happens. Making such improvements will however also make dash larger. best regards Markus -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org