- /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
Go to list of users who liked
More than 5 years have passed since last update.
PHP_IDE_CONFIG
を設定したい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
Go to list of users who liked