使用bash:
cat 100gigfile | while read line; do
intval="$( echo "$line" | cut -f 1)"
chunkfile="$( printf '%010u.txt' "$intval" )"
echo "$line" >> "$chunkfile"
done
Run Code Online (Sandbox Code Playgroud)
这会将您的100 gig文件拆分为(如您所说)2500个根据第一个字段的值命名的单个文件.您可能需要根据自己的喜好调整printf的格式参数.