/home/vagrant/.bashrc に環境構築PHP_IDE_CONFIGを設定したい Vagrant で実行するプロビジョニングに記載するので、冪等性を持ちたい grep して値が無ければ、追記する。 $ grep -q PHP_IDE_CONFIG /home/vagrant/.bashrc || echo 'export PHP_IDE_CONFIG="serverName=xxx.xxx.xxx.xxx"' >> /home/vagrant/.bashrc Register as a new user and use Qiita more conveniently You get articles that match your needsYou can efficiently read back useful informationYou can use dark the