ベストアンサー1
簡単にegrep
パイピングすると、... | grep -E '^[.0-9]+$'
ドットと数字0から9を除くすべての行が削除されます。 (はい、もう少し制限的なパターンを詳しく説明することもできますが、上記のパターンはegrep
覚えやすく迅速に入力できます。実際には代わりに使用しますが、grep -E
それに応じて価値が低下します(e)grep --help
。)
簡単にegrep
パイピングすると、... | grep -E '^[.0-9]+$'
ドットと数字0から9を除くすべての行が削除されます。 (はい、もう少し制限的なパターンを詳しく説明することもできますが、上記のパターンはegrep
覚えやすく迅速に入力できます。実際には代わりに使用しますが、grep -E
それに応じて価値が低下します(e)grep --help
。)