Tôi có hai tệp văn bản: string.txt và lengths.txt
Chuỗi.txt:
abcdefghijklmnopqrstuvwxyz
lengths.txt
5
4
10
7
Tôi muốn lấy tập tin
>Entry_1
abcde
>Entry_2
fghi
>Entry_3
jklmnopqrs
>Entry_4
tuvwxyz
Tôi đang làm việc với khoảng 28.000 mục và chúng khác nhau giữa 200 và 56.000 ký tự.
Hiện tại, tôi đang sử dụng:
start=1
end=0
i=0
while read read_l
do
let i=i+1
let end=end+read_l
echo -e ">Entry_$i" >>outfile.txt
echo "$(cut -c$start-$end String.txt)" >>outfile.txt
let start=start+read_l
echo $i
done <lengths.txt
Nhưng nó rất không hiệu quả. Còn ý tưởng nào hay hơn không?
{ while read l<&3; do head -c"$l"; echo; done 3<lengths.txt; } <String.txt
.
str="$(cat string.txt)"; i=0; while read j; do echo "${file:$i:$j}"; i=$((i+j)); done <length.txt
.. đủ nhanh như được thực hiện chỉ bằng vỏ ..