Is there a simple idiom I've overlooked to pad a file to at least a certain number of records? This seems like it must be overkill:
(end /) ... | top: take 10 | more: fanin | take 10 | bottom: fanin | ...
/ literal | dup 10 | more: / top: | bottom:
What I really want in the case at hand is to take two files, and pad the
shorter one to contain as many records as the longer one. I happen to
know the lengths in advance, but it would be nice to have a way that
didn't require that.
¬R
