>>303
あーなるほど
$(<file.txt head -n $num | wc -l) -lt $num
とすればいいということですね。