In the middle of the desert you can say anything you want

17 May 2021

Day 867

Bash split textfile by percentage

Split: how to split into different percentages? - Unix & Linux Stack Exchange:

split -l $[ $(wc -l filename|cut -d" " -f1) * 70 / 100 ] filename 

This creates files called xaa and xab and works fine for my purposes.

POSIX standard for shells/utilities

Introduction - TIL that head doesn’t really follow them

Nel mezzo del deserto posso dire tutto quello che voglio.