Cách tách tệp ở một số dòng [đã đóng]

Tôi muốn tách một tệp nhật ký dài 400k dòng từ một số dòng cụ thể.

Đối với câu hỏi này, hãy đặt đây là một con số tùy ý 300k.

Có lệnh linux nào cho phép tôi thực hiện việc này ( trong script ) không?

Tôi biết splitcho phép tôi chia tệp thành các phần bằng nhau theo kích thước hoặc số dòng nhưng đó không phải là điều tôi muốn. Tôi muốn 300k đầu tiên trong một tệp và 100k cuối cùng trong tệp thứ hai.

Bất kỳ trợ giúp sẽ được đánh giá cao. Cảm ơn!

Theo suy nghĩ thứ hai, điều này sẽ phù hợp hơn với trang web superuser hoặc serverfault.

file_name=test.log

# set first K lines:
K=1000

# line count (N): 
N=$(wc -l < $file_name)

# length of the bottom file:
L=$(( $N - $K ))

# create the top of file: 
head -n $K $file_name > top_$file_name

# create bottom of file: 
tail -n $L $file_name > bottom_$file_name

Ngoài ra, theo suy nghĩ thứ hai, phần tách sẽ hoạt động trong trường hợp của bạn, vì phần chia đầu tiên lớn hơn phần thứ hai. Sự phân tách đưa số dư của đầu vào vào lần phân tách cuối cùng, vì vậy

split -l 300000 file_name

sẽ xuất ra xaavới 300k dòng và xabvới 100k dòng, cho một đầu vào với 400k dòng.