配置 VTST 的脚本

Northword2020年11月20日
  • Install
小于 1 分钟

配置 VTST 的脚本

下载

cd ~/app
wget http://theory.cm.utexas.edu/code/vtstscripts.tgz

解压缩

$ tar -xzvf vtstscripts.tgz 
$ rm vtstscripts.tgz
$ cd vtstscripts-(按Tab)
$ pwd
# 将返回值复制

加入 bashrc

vi ~/.bashrc
# 将上面pwd的返回值加入PATH