Remove uses of dart:io Options from pub.

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

 // Copyright (c) 2013, the Dart 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 'dart:async';
 import 'dart:io';
 import 'dart:math' as math;
 
 import 'package:args/args.dart';
 import 'package:path/path.dart' as path;
 
 import '../lib/src/command.dart';
 import '../lib/src/exit_codes.dart' as exit_codes;
 import '../lib/src/io.dart';
 import '../lib/src/log.dart' as log;
 import '../lib/src/sdk.dart' as sdk;
 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.');
     flushThenExit(exit_codes.USAGE);
     return;
   }
 
   if (options['version']) {
     log.message('Pub ${sdk.version}');
     return;
@@ skipping 129 matching lines @@
   for (var name in names) {
     buffer.write('  ${padRight(name, length)}   '
         '${PubCommand.commands[name].description}\n');
   }
 
   buffer.write('\n');
   buffer.write(
       'Use "pub help [command]" for more information about a command.');
   log.message(buffer.toString());
 }