LINUX.ORG.RU

История изменений

Исправление kostik87, (текущая версия) : 

#!/bin/sh

cat $1 | while read LINE
  do
    DATE=`echo $LINE | cut -f1 -d" "`
    TIME=`echo $LINE | cut -f2 -d" "`
    TIME_LEN=${#TIME}
    test $TIME_LEN -lt 8 && echo "${DATE} 0${TIME}" || echo "${DATE} ${TIME}"
  done | tee  ${1}_optimized

Скрипт сохраните в текстовый файл в той же директории, где находится исходный файл, сделайте его исполняемым: 

chmod +x script.sh

Запускать вот так: 

./script.sh file
на выходе будет создан файл с именем, в данном случае file_optimized.

Исходная версия kostik87, : 

#!/bin/sh

cat $1 | while read LINE
  do
    DATE=`echo $LINE | cut -f1 -d" "`
    TIME=`echo $LINE | cut -f2 -d" "`
    TIME_LEN=${#TIME}
    test $TIME_LEN -lt 8 && echo "${DATE} 0${TIME}" || echo "${DATE} ${TIME}"
  done | tee  ${1}_optimized

Скрипт сохраните в текстовый файл в той же директории, где находится исходный файл, сделайте его исполняемым: 

chmod +x script.sh

Запускать вот так: 

./script.sh file
на выходе будет создан файл с именем, в данном случае file_optimized.