I have a 5-column tab-separated file.
The only thing that I want to do with it is to split it.
However, I want to split it with a 80/20 proportion -- randomized, if possible.
I know that something like :
awk '{print $0 ""> "file" NR}' RS='' input-file
will work, but it only splits into equallly sized files -- and does not randomize.
Does anyone know if that is possible using awk/grep?
But it only prints a defined "number of lines".
Is it possible to split this instead into two files -- one that is 80% of the content and the second which is 20% of the content of the file?