randomize order of lines

[goop5]

Does someone have an AWK-script to randomize the order of lines in a file?

 

[vgersh99]

something like that [courtesy of comp.lang.awk]:

nawk 'BEGIN{srand()}{print rand(), $0}' myFile.txt | sort | cut -d' ' -f2-

vlad
+----------------------------+
| #include<disclaimer.h> |
+----------------------------+