1.通過brew list tamarin-prover檢視tamarin安裝路徑，結果如下：
/home/linuxbrew/.linuxbrew/cellar/tamarin-prover/1.6.0/bin/sapic
/home/linuxbrew/.linuxbrew/cellar/tamarin-prover/1.6.0/bin/tamarin-prover
2.通過brew安裝vim編輯器
3.通過sudo vim /etc/profile編輯環境變數
在末尾新增如下命令
export path="$path:/home/linuxbrew/.linuxbrew/cellar/tamarin-prover/1.6.0/bin"
使用命令：wq儲存並退出
然後在終端執行命令source /etc/profile 使得環境變數生效# 注：如果不執行 source 命令，則需重啟系統才能生效
4.這時在終端可以直接執行tamarin-prover命令，但是可能會報錯如下：
maude沒有安裝或沒有新增到路徑
5.類似於第3步，在profile檔案中新增maude路徑如下
export path="$path:/home/linuxbrew/.linuxbrew/cellar/maude/2.7.1_1/bin"
使用命令：wq儲存並退出
然後在終端執行命令source /etc/profile 使得環境變數生效# 注：如果不執行 source 命令，則需重啟系統才能生效
6.使用tamarin-prover interactive ***.spthy即可執行
7.在windows的cmd執行如下命令即可遠端訪問
ssh -l 3001:localhost:3001 username@hostname
環境變數配置
因為配置了ubuntu自帶的python和anaconda的python，所以需要改下環境變數，常用的指令就幾句，但是老記不住，所以部落格記錄下，省的到處查了。sudo gedit bashrc進入環境變數配置介面 source bashrc有時候我們需要同時跑多個程式,所以python的路徑可能就...
環境變數配置
右擊 此電腦 點選 屬性 左側選擇 高階系統設定 如下圖 選擇 高階 再點選 環境變數 就會如下圖所示 上部分是當前使用者的環境變數，下部分是系統的環境變數，適用所有使用者，一般而言，修改path都是更改系統變數。點選 新建 設定變數名和變數值後即可新建環境變數。如下圖 點選 編輯 在新視窗右側可以...
ant的安裝 環境變數配置
一 安裝ant 二 配置環境變數 window中設定ant環境變數 ant home c apache ant 1.8.1 path c apache ant 1.8.1 bin classpath c apache ant 1.8.1 lib 注意 配置環境變數 我的電腦 屬性 高階 環境變數 如...