컴파일할 때 파일 확장자 바꾸는 방법이 궁금해요

갤1 2025.02.23 댓글 0

폴더 옵션에서 확장자가 보이게 설정한 PC에서는 파일 만들기에서 이름을 `*.확장자` 형식으로 입력할 수 있는데요.
확장자가 보이지 않는 PC에서는 잘 안 됩니다.
이럴 때는 어떻게 해야 하나요?