Вопросы Теги

изменить формат даты/времени с yyymmddHHMMss на dd/mm/yyyy HH:MM:ss

Правило довольно простое.

По умолчанию, без использования правил NAT, IP-адреса соответствующих сетей интерфейсов используются при связи с той же самой логической сетью, определенной парой IP-адрес / маска сети; в противном случае при выходе через шлюз по умолчанию используется первичный адрес первого интерфейса.

Имейте в виду, что некоторые службы могут быть привязаны к определенному IP-адресу, и в этом случае этот IP-адрес используется.

Правила NAT могут и будут изменять это поведение.

Команда 

ip route get dest_IP

также сообщит вам, какой IP-адрес будет использоваться при маршрутизации.

Также имейте в виду, что службы IPv6 по умолчанию имеют приоритет над IPv4.

0
05.09.2018, 18:13
2 ответа
d='\([[:digit:]]\{2\}\)'
sed "s|$d$d$d$d$d$d$d|\4/\3/\1\2 \5:\6:\7|g"

Итак, для вашего кода:

d='\([[:digit:]]\{2\}\)'
awk -F'|' '/JOBNAME1/ {print $3,$7,$8,$9}' | sort -rk 4 |
  sed "s|$d$d$d$d$d$d$d|\4/\3/\1\2 \5:\6:\7|g"
1
28.01.2020, 04:13

Уж больно уродливый метод awk:

echo JOBNAME1 STARTED AT 20180904152402 | awk '{$4=substr($4,7,2)"/"substr($4,5,2)"/"substr($4,1,4)" "substr($4,9,2)":"substr($4,11,2)":"substr($4,13,2); print}'
0
28.01.2020, 04:13

Теги

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