Sudeep Juvekar 17397bf30f A special case for 'Permission denied' error msg when trying to execute a ...

python scripy.

The script does not have execute permission and/or does not start with !#/usr/...
In that case, pre-pend the command with 'python' keyword.

Change-Id: Idf73ee9cf0a523f51c78672188a457b2fcedc1e6

2015-04-20 11:00:35 -04:00

..

rules

A special case for 'Permission denied' error msg when trying to execute a

2015-04-20 11:00:35 -04:00

test_main.py

#21 Add timeout for getting previous command output

2015-04-18 22:50:18 +02:00