设置了文件不显示扩展名的情况下怎么修改文件格式扩展名