1、打开命令提示符
电脑搜索栏输入cmd——打开命令提示符
输入e:——切到e盘(磁盘转换)
输入cd E:$$$$\——切换文件夹
也可直接在文件所在的文件夹地址栏输入cmd,直接打开此处的命令提示符
2、crx2rnx的使用
单个文件转换(举例):
crx2rnx.exe GTGU0010.16d
批量转换:for %a in (*.*d) do crx2rnx.exe %a
若已存在,会出现以下提示
The file ASCG00SHN_R_20200010000_01D_30S_MO.20o already exists. Overwrite?(n)——已存在是否覆盖?Y-YES N-NO
3、若文件为rinex3格式:
若文件为rinex3格式:
如“BRST00FRA_R_20200010000_01D_30S_MO.crx.gz”
解压后得到“BRST00FRA_R_20200010000_01D_30S_MO.crx”
然后将该文件名后缀修改为“20d”,即“BRST00FRA_R_20200010000_01D_30S_MO.20d”。
(批量修改后缀见4)
之后再通过运行crx2rnx.exe即可转化为O文件“BRST00FRA_R_20200010000_01D_30S_MO.20o”。
4、批量修改扩展名
批量修改扩展名可见m文件“change_Extension_Name.m”
按照实际情况修改参数
5、注意
需要将crx2rnx.exe与*.*d文件放在同一路径下
不要对压缩d文件进行转换,一定要将压缩文件解压,解压后的d文件才能被crx2rnx转换。
6、crx2rnx.exe 软件
软件请见我的上传资源