「EosEnvSet」の版間の差分
提供: Eospedia
(ページの作成：「 下記のコマンドを実行すれば、Eosの環境をセットすることです。 $ echo "test -r $HOME/.Eos_env && $HOME/.Eos_env" >> $HOME/.profile」) |
(相違点なし)
|
2012年9月12日 (水) 20:06時点における版
下記のコマンドを実行すれば、Eosの環境をセットすることです。
$ echo "test -r $HOME/.Eos_env && $HOME/.Eos_env" >> $HOME/.profile
