목록Shell (1)

Just a Blog

복수 개 파일에 대해 한꺼번에 파일이름의 확장자 바꾸기

한 디렉토리에 여러 개의 파일이 들어 있는데, 그 파일 중 특정한 확장자를 가진 파일을 또 다른 확장자로 바꾸고 싶다고 하자. 어떻게 하면 될까? 그런 상황이 발생해서 해결 방법을 모색했다. 물론 가장 무식하지만 단순한 방법은 직접 파일 별로 하나씩 확장자를 바꾸는 것이다. 파일이 많은 경우 번거롭고 시간도 많이 걸리므로 이 방법은 패스. 또 한 가지의 방법으로, 예전에 만들었던 Python 코드를 뜯어 고쳐 프로그램을 하나 만들었다. 재미로 할 만 하지만 단순 변경 작업을 위해 별도의 프로그램을 만든다는 것이 비효율적인 것 같다. 물론 필요에 맞는 프로그램을 빨리 찾을 수 있다면 더 효율 좋은 방법이 될 수 있겠다.import sysimport osdef ext_conv(cur_path, asis_ex..
IT, Computer 2024. 3. 12. 02:14
Prev 1 Next