Grep sur phpinfo() en ligne de commande Jun 28, 2014 php -r 'phpinfo();' | grep php.ini ← Éviter d'entrer son mot de passe quand Vagrant démarre avec un montage NFS Faire le ménage dans un dépôt git →