변환 날짜 형식

Question

I가 다음과 같은 형식의 날짜가 포함 된 문자열 :

수요일 5월 13일 13시 57분 0초 1992

내가 문자열로 변환 할 필요를 다음 형식 : yyyyMMddHHmmss

이렇게하는 bultin 함수가 있습니까?

P. 나는

Answer 1

AIX 6.1에서 작동하는 데 필요한 여기 (더 읽기 쉽도록 형식의) 충분한 휴대용해야 awk 솔루션입니다 :

echo "Wed May 13 13:57:00 1992" | tr ':' ' ' | \ 
    awk 'BEGIN { months["Jan"] = "01" 
       months["Feb"] = "02" 
       ..... 
       months["Dec"] = "12" 
      } 
      { printf "%s%s%s%s%s%s\n", $7, months[$2], $3, $4, $5, $6 }' 

내가 비록 파일에 awk 프로그램 코드를 넣어 것입니다, 그래서 I 한 번만 입력했고, 나는 다음 tr 비트가 정말 필요하지 않습니다

... 대신 awk -f convert_date_format.awk을 할 수 - awk에서 수행 할 수있는 콜론을 교체 (또는 그 주위에 시간 필드를 분할), BU를 tr 단계를 추가하는 것만 큼 간단하지 않습니다 ...