2017-09-18から1日間の記事一覧
php.ini を一時的に編集したいことがしばしばあって、そのたびに php -i の出力から php.ini の場所を特定してエディタで開く、としている流れが面倒に思えてきたので簡単な alias を zshrc に登録した。 alias vpi='$EDITOR $(php -i | grep "Loaded Config…
php.ini を一時的に編集したいことがしばしばあって、そのたびに php -i の出力から php.ini の場所を特定してエディタで開く、としている流れが面倒に思えてきたので簡単な alias を zshrc に登録した。 alias vpi='$EDITOR $(php -i | grep "Loaded Config…