gz으로 압축되어 오는게 파일 확장자가 이상야릇하게 변경되어 와서

일괄 변경 해야하는데 귀차니즘으로 인해 하나하나씩 윈도우에서 변경하다가 그게 더 귀찮아서

python 삽을... 일단 이게 최적인지 아닌지도 모르며..  귀차니즘을 해소 하기 귀해 python 공부도 할겸!


#!/usr/bin/python
import glob
import os.path

files = glob.glob('*.FIN') // 특정확장자를 가진 목록뽑기
for x in files:
 if not os.path.isdir(x): // 파일만 걸러내기
  filename = os.path.splitext(x) // 확장자와 순수파일명 구분하기
#  print (filename[0]) // 확인 주석
  os.rename(x, filename[0]  + '.gz') // 순수파일명에 gz확장자 붙이기


Posted by KraZYeom