Преобразование строки в формат даты

bashне может работать с плавающей запятой. Используйте zsh, ksh93или yashвместо :

.
#! /bin/zsh -
read ignore load ignore < /proc/loadavg || exit
if ((load > 5)); then
  echo >&2 Alert
fi

Или поскольку вы уже используете awk(вместе с несколькими ненужными командами):

#! /bin/sh -
awk '$2 > 5 {print "Alert"}' < /proc/loadavg >&2

Или, если вам это нужно в конструкцииshif:

#! /bin/sh -
if awk '{exit !($2 > 5)}' < /proc/loadavg; then
  echo >&2 Alert
fi
0
09.04.2019, 12:21
1 ответ

Вы можете использоватьdate:

date -d "Mon Apr 8 21:00:42" "+%Y-%m-%d %H:%M:%S"

или

date -d "Mon Apr 8 21:00:42" "+%F %X" 

Для всех строк файла:

xargs -a date.txt -I{} date -d "{}" "+%F %X"

Спецификацию FORMAT см. в man date.

1
28.01.2020, 02:40

Теги

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