Горячая клавиша для ввода сегодняшней даты?

(спасибо Ачу и Элиа Кагану за идеи) есть способ

добавить время к выводу ping, сохранить сноски ping и завершить всю эту конструкцию с помощью ctrl+c [!d1 ]

для этого нужно проинструктировать правую часть команды (после трубы), чтобы игнорировать SIGINT с помощью trap "" INT:

$ ping www.google.fr | bash -c 'trap "" INT; awk "{print strftime(\"%c - \") \$0}"'  
lun 26 Mar 2018 22:05:08 +0300 - PING www.google.fr (173.194.73.94) 56(84) bytes of data.
lun 26 Mar 2018 22:05:08 +0300 - 64 bytes from lq-in-f94.1e100.net (173.194.73.94): icmp_seq=1 ttl=47 time=19.6 ms
lun 26 Mar 2018 22:05:09 +0300 - 64 bytes from lq-in-f94.1e100.net (173.194.73.94): icmp_seq=2 ttl=47 time=20.1 ms
^Clun 26 Mar 2018 22:05:09 +0300 - 
lun 26 Mar 2018 22:05:09 +0300 - --- www.google.fr ping statistics ---
lun 26 Mar 2018 22:05:09 +0300 - 2 packets transmitted, 2 received, 0% packet loss, time 1000ms
lun 26 Mar 2018 22:05:09 +0300 - rtt min/avg/max/mdev = 19.619/19.866/20.114/0.284 ms
1
задан 27 September 2012 в 05:38

0 ответов

Другие вопросы по тегам:

Похожие вопросы: