diff options
| author | Diego Roversi <diegor@tiscali.it> | 2019-09-08 18:12:27 +0200 |
|---|---|---|
| committer | Diego Roversi <diegor@tiscali.it> | 2019-09-08 18:12:27 +0200 |
| commit | 1d9925c287b318ec21343e2682b51ab6a36ae8db (patch) | |
| tree | 17d1c0ac21eea6f291146520afa8381db4586fb4 /bubbob/command.py | |
initial commit from cvs 1.6.2
Diffstat (limited to 'bubbob/command.py')
| -rw-r--r-- | bubbob/command.py | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/bubbob/command.py b/bubbob/command.py new file mode 100644 index 0000000..71239ed --- /dev/null +++ b/bubbob/command.py @@ -0,0 +1,10 @@ +import os, sys + +levels, ext = os.path.splitext(os.path.basename(sys.argv[1])) +for ext in ['.py', '.bin']: + levelfile = 'levels/%s%s' % (levels, ext) + if os.path.exists(levelfile): + break +sys.argv[1] = levelfile + +execfile('bb.py') |