Remove uses of dart:io Options from pub.

sdk/lib/_internal/pub/bin/pub.dart

Index: sdk/lib/_internal/pub/bin/pub.dart
diff --git a/sdk/lib/_internal/pub/bin/pub.dart b/sdk/lib/_internal/pub/bin/pub.dart
index ecd58bdee2576c1763be53019012d25eca57362a..f8a08e45d41b3bc5b62a32ed742e04a4cd32e749 100644
--- a/sdk/lib/_internal/pub/bin/pub.dart
+++ b/sdk/lib/_internal/pub/bin/pub.dart
@@ -18,11 +18,13 @@ import '../lib/src/utils.dart';
 
 final pubArgParser = initArgParser();
 
-void main() {
+void main(List<String> arguments) {
   ArgResults options;
+  // Keep the command line args, to print in any user error message.
+  PubCommand.errorArguments = arguments;

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

Pass this into PubCommand.run instead.

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

Done.

 
   try {
-    options = pubArgParser.parse(new Options().arguments);
+    options = pubArgParser.parse(arguments);
   } on FormatException catch (e) {
     log.error(e.message);
     log.error('Run "pub help" to see available options.');