一、文件是什么
- vimrc是GVIM的环境配置文件,可以在里面编辑各种自定义功能,让GVIM使用更加方便,例如开启行码显示、开启highlight等等
- csh 是shell的环境配置文件(或者说linux terminal快捷指令的配置文件),,每次启动shell的时候会读取这个文件,同时在linux中进行快捷操作也会调用其中的指令。
二、文件怎么用
- vimrc的用法,csdn中有很多
- cshrc的用法,目前了解两个:(1)配置地址变量,可快捷跳转地址,在当前配置的workspace中生效(2)设置快捷键alias,例如用"."代表“../”直接返回上一级。
三、如何配置cshrc
- 针对两种用法,语法如下
- setenv SPI_HOME /person/file/work
alias . 'cd ../'
alias 1256 "cd /person/file/work/1256/"
- 配置完成后,回到个人初始路径(存在.cshrc的路径那一级),通过
source ~/.cshrc
让环境配置生效,之后
- filelist.f中使用 $SPI_HOME
- Makefile中使用 ${SPI_HOME}
均可以索引到地址变量所对应的地址,实测linux terminal下所有workspace均生效。检验是否生效,可以用GVIM打开,直接使用gf跳转地址变量试试。
四、补充说明
source命令是一个内置的shell命令,用于从当前shell会话中的文件读取和执行命令。 source命令通常用于保留、更改当前shell中的环境变量。在修改完成环境配置文件后,需要通过source命令去让环境配置生效。