0305デフォルトの名無しさん (ワッチョイ 9764-Ed1r)垢版 | 大砲2018/10/27(土) 00:13:24.42ID:BbyQQXdF0 >>303 あーなるほど $(<file.txt head -n $num | wc -l) -lt $num とすればいいということですね。