diff options
Diffstat (limited to '')
| -rwxr-xr-x | python/dotsandboxes/dotsandboxesagent | 5 | ||||
| -rw-r--r-- | python/dotsandboxes/dotsandboxesagent.py (renamed from dotsandboxes/agents/agent_random.py) | 0 |
2 files changed, 5 insertions, 0 deletions
diff --git a/python/dotsandboxes/dotsandboxesagent b/python/dotsandboxes/dotsandboxesagent new file mode 100755 index 0000000..eecf719 --- /dev/null +++ b/python/dotsandboxes/dotsandboxesagent @@ -0,0 +1,5 @@ +#!/bin/bash +# It is not necessary to use a shell script for this. Dropping the .py +# extension and including the correct shebang is also correct. +python3 $(dirname "$0")/dotsandboxesagent.py $@ + diff --git a/dotsandboxes/agents/agent_random.py b/python/dotsandboxes/dotsandboxesagent.py index abf677b..abf677b 100644 --- a/dotsandboxes/agents/agent_random.py +++ b/python/dotsandboxes/dotsandboxesagent.py |