diff options
author | Marco Pesenti Gritti <marco@localhost.localdomain> | 2006-10-09 16:03:35 (GMT) |
---|---|---|
committer | Marco Pesenti Gritti <marco@localhost.localdomain> | 2006-10-09 16:03:35 (GMT) |
commit | c9b5381c16fce563307379aa8b52a5b902a7cc98 (patch) | |
tree | 20cfb956408f4f99dfac620c45ab0adaa3d61d10 /tools | |
parent | 386dbe71232110c8177ab1833f77f42c32c85283 (diff) |
Add a list of names to pick from. Refactor a bit to allow different simulator stages.
Create a bunch of random bots.
Diffstat (limited to 'tools')
-rwxr-xr-x | tools/nicks-to-list | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/tools/nicks-to-list b/tools/nicks-to-list new file mode 100755 index 0000000..d4116be --- /dev/null +++ b/tools/nicks-to-list @@ -0,0 +1,18 @@ +#!/usr/bin/python + +import sys + +result = '_nick_names = [\n' + +nicks_file = open(sys.argv[1], 'r') + +for line in nicks_file.readlines(): + name = line.strip() + result += '\'%s\', ' % (name) + +result += ']' + +nicks_file.close() + +print result + |