Trích phần giữa của dòng văn bản?

Tôi đang viết một tập lệnh PHP để phân tích một tệp văn bản lớn để chèn cơ sở dữ liệu từ nó. Tuy nhiên, trên máy chủ của tôi, tệp quá lớn và tôi đã đạt giới hạn bộ nhớ cho PHP.

Tập tin có khoảng 16.000 dòng; Tôi muốn chia nó thành bốn tệp riêng biệt (lúc đầu) để xem liệu tôi có thể tải chúng không.

Phần đầu tiên tôi có thể nhận được với head -4000 file.txt. Phần giữa hơi phức tạp hơn - Tôi đã suy nghĩ về tailđầu ra đường ống vào head( tail -4001 file.txt | head -4000 > section2.txt), nhưng có cách nào khác / tốt hơn không?

Trên thực tế logic của tôi đã bị rối tung - đối với phần hai, tôi sẽ cần phải làm như vậy tail -12001 file.txt | head - 4000, và sau đó hạ thấp tailđối số cho các phần tiếp theo. Tôi đang bị lẫn lộn rồi! : P

Nếu bạn không muốn bị làm phiền nhưng vẫn sử dụng nó tailvà head, có một cách hữu ích để gọi tailbằng cách sử dụng một dòng đếm từ đầu, không phải là kết thúc:

tail -n +4001 yourfile | head -4000

... Nhưng một công cụ tự động tốt hơn được tạo ra chỉ để chia nhỏ các tập tin được gọi là ... split! Nó cũng là một phần của lõi GNU, vì vậy bất kỳ hệ thống Linux bình thường nào cũng cần có nó. Đây là cách bạn có thể sử dụng nó:

split -l 4000 yourInputFile thePrefixForOutputFiles

(Xem man splitnếu nghi ngờ.)

Kết hợp đầu và đuôi như bạn đã làm sẽ có hiệu quả, nhưng với điều này tôi sẽ sử dụng sed

sed -n '1,4000p' input_file # print lines 1-4000 of input_file

Điều này cho phép bạn giải quyết vấn đề của mình với chức năng shell nhanh

chunk_it(){
    step=4
    start=1
    end=$step
    for n in {1..4} ; do
        sed -n "${start},${end}p" "$1" > "$1".$start-$end
        let start+=$step
        let end+=$step
    done
}

chunk_it your_file

Bây giờ bạn có your_file.1-4000 và yuor_file.4001-8000, v.v.

Lưu ý: yêu cầu bash