When I click on the item from the following menu:
The command used is:
/path/to/php bin/infection run -n --no-progress --teamcity --configuration infection.json5
The following parameters respect the default configuration of the project:
- the PHP binary
- the Infection executable
- the default configuration file
It is not clear to me how the default working directory is picked. Actually it is one of the reasons why I never use the PhpStorm PHPUnit plugin, I have too many projects where the default working directory is incorrectly selected, and correcting it all the time is tiresome.
Maybe it would be good to have most items available from a specific configuration in that main menu, which could be picked as the default values when creating a configuration on the fly [like clicking on the "CommandLineGitTest.php (Infection)"] here?
When I click on the item from the following menu:
The command used is:
The following parameters respect the default configuration of the project:
It is not clear to me how the default working directory is picked. Actually it is one of the reasons why I never use the PhpStorm PHPUnit plugin, I have too many projects where the default working directory is incorrectly selected, and correcting it all the time is tiresome.
Maybe it would be good to have most items available from a specific configuration in that main menu, which could be picked as the default values when creating a configuration on the fly [like clicking on the "CommandLineGitTest.php (Infection)"] here?