所以我之前问了一个问题,为ping添加了一个前缀.(我的最后一个问题)给我留下了以下几行:
ping 8.8.8.8 | while read line; do echo "$(date): $line"; done | grep time=
Run Code Online (Sandbox Code Playgroud)
这很有效.我只有一个问题,我无法将其保存在文件中.我尝试了一个简单的重定向,如下所示:
ping 8.8.8.8 | while read line; do echo "$(date): $line"; done | grep time= >> googleping
Run Code Online (Sandbox Code Playgroud)
但没有任何东西被保存在文件中......
然后我尝试了这个:
ping 8.8.8.8 | while read line; do echo "$(date): $line"; done | grep time= | tee -a googleping
Run Code Online (Sandbox Code Playgroud)
用tee将它打印在屏幕上并将其保存在文件中......再也没有运气了.
(但尝试过echo hello | tee -a googleping并且工作正常...)
所以,然后我尝试了另一个while循环,如下所示:
ping 8.8.8.8 | while read line; do echo "$(date): $line"; done | grep time= | while read line; …Run Code Online (Sandbox Code Playgroud)