「EosEnvSet」の版間の差分
提供: Eospedia
(ページの作成:「 下記のコマンドを実行すれば、Eosの環境をセットすることです。 $ echo "test -r $HOME/.Eos_env && $HOME/.Eos_env" >> $HOME/.profile」) |
|||
(同じ利用者による、間の1版が非表示) | |||
行1: | 行1: | ||
− | + | eosEnvSetのこの章は、Eosの環境設定をするための簡単なコマンドを示したものです。 | |
+ | 下記のコマンドを実行すれば、Eosの環境をセットすることができます。 | ||
+ | $ | ||
$ echo "test -r $HOME/.Eos_env && $HOME/.Eos_env" >> $HOME/.profile | $ echo "test -r $HOME/.Eos_env && $HOME/.Eos_env" >> $HOME/.profile | ||
+ | $ |
2012年9月12日 (水) 20:10時点における最新版
eosEnvSetのこの章は、Eosの環境設定をするための簡単なコマンドを示したものです。 下記のコマンドを実行すれば、Eosの環境をセットすることができます。
$ $ echo "test -r $HOME/.Eos_env && $HOME/.Eos_env" >> $HOME/.profile $