Remove uses of dart:io Options from pub.

sdk/lib/_internal/pub/lib/src/command.dart

Index: sdk/lib/_internal/pub/lib/src/command.dart
diff --git a/sdk/lib/_internal/pub/lib/src/command.dart b/sdk/lib/_internal/pub/lib/src/command.dart
index e8b7ed0e09fa14a9589802d0ed8de194b61dd5bc..4b12fb54e08588fc06bf575784113aa33e34b12a 100644
--- a/sdk/lib/_internal/pub/lib/src/command.dart
+++ b/sdk/lib/_internal/pub/lib/src/command.dart
@@ -34,6 +34,10 @@ abstract class PubCommand {
   /// The commands that pub understands.
   static final Map<String, PubCommand> commands = _initCommands();
 
+  // The original command-line arguments, to be printed as part of
+  // an error message to the user.
+  static List<String> errorArguments;

[Bob Nystrom, 2013/10/29 16:58:52]

And get rid of this.

[Bill Hesse, 2013/10/29 17:16:29]

Done.

+
   SystemCache cache;
 
   /// The parsed options for this command.
@@ -111,7 +115,7 @@ abstract class PubCommand {
         log.error("""
 This is an unexpected error. Please run
 
-    pub --trace ${new Options().arguments.map((arg) => "'$arg'").join(' ')}
+    pub --trace ${errorArguments.map((arg) => "'$arg'").join(' ')}
 
 and include the results in a bug report on http://dartbug.com/new.
 """);