จะแยกเฉพาะค่าที่มากกว่าขีด จำกัด จากไฟล์ได้อย่างไร

ฉันมีไฟล์นี้:

names average
john:15.02
Mark:09.63
James:12.58

ฉันต้องการแยกเฉพาะค่าเฉลี่ยมากกว่า 10 จากมันดังนั้นผลลัพธ์ในตัวอย่างนี้ควรเป็น:

15.02
12.58

กับ awk

awk -F: '{if($2>10)print$2}' <filename

คำอธิบาย

• -F:- ชุดFคั่น ield ไป:
• {if($2>10)print$2}- สำหรับแต่ละบรรทัดทดสอบว่า2ฟิลด์ครั้งคือ>10ถ้าเป็นเช่นนั้นprintมัน
• <filename- ปล่อยให้ shell open file filenameดีกว่าปล่อยให้awkทำอย่างนั้นดูคำตอบของStéphane Chazelas ในหัวข้อ

ตัวอย่างการวิ่ง

$ <filename awk -F: '{if($2>10)print$2}'
15.02
12.58

นอกจากนี้ยังเป็นไปได้ที่จะเพิ่มช่องว่างและวางรูปแบบไว้นอกวงเล็บดังนั้นสิ่งเหล่านี้เท่ากัน - ขอบคุณStefanสำหรับการชี้ว่า:

awk -F: '{if($2>10)print$2}' <filename
awk -F: '{ if ( $2 > 10 ) print $2 }' <filename
awk -F: '$2>10{print$2}' <filename
awk -F: '$2 > 10 { print $2 }' <filename

ด้วย grep คุณต้องทำงานกับนิพจน์ทั่วไป เช่น

grep -E ':[^0-9]*[1-9][0-9][0-9]*\.' file | cut -d':' -f2

เช่นเดียวกับ sed:

sed -n 's/.*:[^0-9]*\([1-9][0-9][0-9]*\..*\)/\1/p' file

แต่การใช้ RegEx กับข้อมูลที่สั่งนั้นมีแนวโน้มที่จะเกิดข้อผิดพลาด (จากประสบการณ์ของฉัน) และอ่านยาก ;-)