Rename fletch -> dartino

tools/bots/dartino_namer.py

 # Copyright (c) 2015, the Dartino project authors.  Please see the AUTHORS file
 # for details. All rights reserved. Use of this source code is governed by a
 # BSD-style license that can be found in the LICENSE file.
 
 import bot_utils
 
-class FletchGCSNamer(bot_utils.GCSNamer):
+class DartinoGCSNamer(bot_utils.GCSNamer):
   def __init__(self, channel=bot_utils.Channel.BLEEDING_EDGE,
                release_type=bot_utils.ReleaseType.RAW, temporary=False):
-    super(FletchGCSNamer, self).__init__(channel, release_type, False)
+    super(DartinoGCSNamer, self).__init__(channel, release_type, False)
     if temporary:
       self.bucket = 'gs://fletch-temporary'
     else:
       self.bucket = 'gs://fletch-archive'
 
   def dartino_sdk_directory(self, revision):
     return self._variant_directory('sdk', revision)
 
   def dartino_sdk_zipfilename(self, system, arch, mode):
     assert mode in bot_utils.Mode.ALL_MODES
@@ skipping 16 matching lines @@
     return 'dartino-agent_%s-1_armhf.deb' % revision
 
   def src_tar_name(self, revision):
     return 'dartino-%s.tar.gz' % revision
 
   def arm_agent_filepath(self, revision):
     return '/'.join([self.dartino_sdk_directory(revision),
         self.arm_agent_filename(revision)])
 
   def raspbian_filename(self):
-    return 'fletch_raspbian.img'
+    return 'dartino_raspbian.img'
 
   def raspbian_zipfilename(self):
     return '%s.zip' % self.raspbian_filename()
 
   def raspbian_zipfilepath(self, revision):
     return '/'.join([self.dartino_sdk_directory(revision),
         self.raspbian_zipfilename()])
 
   def version_filepath(self, revision):
     return '/'.join([self.dartino_sdk_directory(revision), 'VERSION'])
 
   def gcc_embedded_bundle_zipfilename(self, system):
     return 'gcc-arm-embedded-%s.zip' % system
 
   def gcc_embedded_bundle_filepath(self, revision, system):
     return '/'.join([self.dartino_sdk_directory(revision),
                      self.gcc_embedded_bundle_zipfilename(system)])
 
   def openocd_bundle_zipfilename(self, system):
     return 'openocd-%s.zip' % system
 
   def openocd_bundle_filepath(self, revision, system):
     return '/'.join([self.dartino_sdk_directory(revision),
                      self.openocd_bundle_zipfilename(system)])
 
   def docs_filepath(self, revision):
     return '/'.join([self.dartino_sdk_directory(revision), 'docs'])