sed를 사용하여 시간 형식 변환

sed를 사용하여 시간 형식 변환

파일형식을 변경하고 싶어요 출처: 00:00:03006 종료: 00:00:03,006

sed -i 's/[0-9][0-9] [0-9][0-9][0-9]/[0-9][0-9],[0-9][0-9][0-9]/g' file

작동하지 않습니다. 이러한 텍스트를 찾았지만 원래 숫자로 바꾸지는 않습니다.

답변1

이것은 작동합니다:

sed -E -i 's/([0-9][0-9]) ([0-9][0-9][0-9])/\1,\2/g' file

설명하다

당신이 글을 쓸 때

[0-9][0-9],[0-9][0-9][0-9]

명령의 두 번째 부분에서는 sed"입력한 숫자로 바꾸세요"라고 말하는 대신 "다음으로 바꾸세요"라고 말합니다.일부숫자"이므로 sed대신 무엇을 사용하고 싶은지 이해할 수 없습니다.

정규식 그룹을 사용하십시오(확인이 간단한 설명sed)는 "사용하다"라고 말할 것입니다정밀한입력한 번호입니다."

답변2

노력하다:

sed -ri 's/([0-9]{2}) ([0-9]{3})/\1,\2/g' file

관련 정보