パーセンテージsplit

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

• fish shellだといくつかの工夫が必要