hey, do you guys know of a smart way to access random lines in a file? so if a file had lines 1-5, 5 random reads would return something like line3, line1, line2, line5, line4? you get the picture... oh, and that preferably in shell-script/awk form?
martin; (greetings from the heart of the sun.) \____ echo mailto: !#^."<*>"|tr "<*> mailto:"; [EMAIL PROTECTED] -- de gustibus non est disputandum.
