昨天出现了一个情况,有人需要我将文件的尾部分离出来,这个尾部是指特定字符串(假设为“FOO”)之后的所有内容。由于我需要立即处理此事,所以我选择了我知道可以运行的选项,而没有考虑正确或最佳的方法,我选择了以下方法:
grep -n FOO FILE.TXT | cut -f1 -d":" | xargs -I{} tail -n +{} FILE.TXT > NEWFILE.TXT
我对这个问题感到困扰的是在单一值时使用xargs。我认为我可以通过谷歌搜索来解决这个问题,但我很想看看SO社区中的人们为这种情况想出了什么样的解决方案。