-
Jordi Inglada authoreda7f2dc29
Ce dépôt contient la configuration par défaut de quelques outils utiles pendant le développement.
Installation
Cloner le dossier dans $HOME/.config/devtools.
git clone git@gitlab-ssh.irstea.fr:pole-is/devtools-config.git $HOME/.config/devtools
Utilisation
Globale
Créer des liens symboliques dans $HOME pour .editorconf et phpcs.xml.dist:
ln -snf $HOME/.config/devtools/php/phpcs.xml.dist $HOME/phpcs.xml.dist
ln -snf $HOME/.config/devtools/.editorconfig $HOME/.editorconfig
Enfin, configurer PHPStorm pour utiliser les fichiers $HOME/.config/devtools/php/phpcs.xml.dist et $HOME/.config/devtools/php/phpmd-ruleset.xml pour phpcs et phpmd respectivement.
Par projet
php-cs-fixer nécessite de copier le fichier directement dans le projet :
cp $HOME/.config/devtools/php/.php_cs.dist chemin/vers/mon/projet
Pour phpcs et phpmd, c'est également nécessaire pour l'intégration continue.
Outils
-
editorconfig: permet de configurer globalement l'encodage, l'indentation et la gestion des espaces.
-
phpcs: vérification du style de codage.
-
php-cs-fixer: cousin de phpcs, mais qui permet de corriger les fichiers et inclut également des aide pour migrer d'une version de PHP à une autre.
-
phpmd: détection de bugs potentielles, de fonctions/classes trop complexes, ...