update ping cmd run config

This commit is contained in:
Robin Müller 2022-08-19 12:43:23 +02:00
parent deea9d39cf
commit d8b0d81ef3
No known key found for this signature in database
GPG Key ID: 71B58F8A3CDFA9AC

View File

@ -13,7 +13,7 @@
<option name="ADD_SOURCE_ROOTS" value="true" />
<EXTENSION ID="PythonCoverageRunConfigurationExtension" runner="coverage.py" />
<option name="SCRIPT_NAME" value="$PROJECT_DIR$/tmtcc.py" />
<option name="PARAMETERS" value="-s test -o ping -d 3" />
<option name="PARAMETERS" value="tmtc -s test -o ping -d 3" />
<option name="SHOW_COMMAND_LINE" value="false" />
<option name="EMULATE_TERMINAL" value="false" />
<option name="MODULE_MODE" value="false" />