2019-05-12提取

根据一串ID批量提取另外一个文件的指定行
书写linux代码进行提取

#!/bin/bash

cat -A list.txt | while read id;
do
    id=`echo $id| cut -d"^" -f0`
    grep $id file >> resut.txt
done

你可能感兴趣的:(2019-05-12提取)