Rename fletch -> dartino

platforms/raspberry-pi2/configure-network

Index: platforms/raspberry-pi2/configure-network
diff --git a/platforms/raspberry-pi2/configure-network b/platforms/raspberry-pi2/configure-network
index 346f70a5f747d5224a96fa1812d6f78d21b07640..747f67aa235de597fda9a7b0712670b2e76dea7d 100755
--- a/platforms/raspberry-pi2/configure-network
+++ b/platforms/raspberry-pi2/configure-network
@@ -4,8 +4,8 @@
 # BSD-style license that can be found in the LICENSE.md file.
 
 # Run internal/pkg/flash_sd_card/bin/flash_sd_card.dart on the Dart VM.
-# This script assumes either the Fletch SDK's directory structure or
-# a Fletch GitHub repository checkout.
+# This script assumes either the Dartino SDK's directory structure or
+# a Dartino GitHub repository checkout.
 
 function follow_links() {
   file="$1"
@@ -23,5 +23,5 @@ source $(dirname $PROG_NAME)/.common.shlib
 
 echo "This program requires superuser to run."
 
-exec sudo "$DART_VM" -Dfletch-vm="$FLETCH_VM" "$DART_FILE" \
+exec sudo "$DART_VM" -Ddartino-vm="$DARTINO_VM" "$DART_FILE" \
     --configure-network-only "$@"