#Linux ```bash # .jpi의 확장자파일을 찾아서 .hpi로 변경 ls | grep '.jpi' | cut -d . -f 1 | while read line; do mv $line.jpi $line.hpi; done ```