Add a "pub deploy" command.

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

Index: sdk/lib/_internal/pub/lib/src/io.dart
diff --git a/sdk/lib/_internal/pub/lib/src/io.dart b/sdk/lib/_internal/pub/lib/src/io.dart
index 46e525509ca126309868b25d1211082c0c547eed..da220e4a537f40fc1a7264f87ad3f9e2cee8234e 100644
--- a/sdk/lib/_internal/pub/lib/src/io.dart
+++ b/sdk/lib/_internal/pub/lib/src/io.dart
@@ -185,6 +185,22 @@ Future<String> createFileFromStream(Stream<List<int>> stream, String file) {
   });
 }
 
+/// Copy all files in [files] to the directory [destination]. Their locations in
+/// [destination] will be determined by their relative location to [baseDir].
+/// Any existing files at those paths will be overwritten.

[Andrei Mouravski, 2013/05/10 21:56:34]

What about a no-clobber option for deploy? Or a dry-run option? Or verbose
that'll log that a file was clobbered?

[nweiz, 2013/05/13 21:59:45]

I don't think this would be useful. "deploy" is effectively a build step; users
shouldn't assume that the results of a build step will be safe from clobbering
when another build step will be run.
This is something we could do, I suppose, but for the time being I think it's
pretty clear what's going to happen when you run deploy.
The existing --verbose option will mention that the "deploy" directory is
getting deleted. We don't have any more fine-grained information than that,
since the directory is deleted all at once.

+void copyFiles(Iterable<String> files, String baseDir, String destination) {

[Andrei Mouravski, 2013/05/10 21:56:34]

Is there a reason why dart:io doesn't have this functionality?

[nweiz, 2013/05/13 21:59:45]

I'm not really the person to ask that question, but at a guess it's because it's
reasonably easy to write manually.

+  for (var file in files) {
+    var newPath = path.join(destination, path.relative(file, from: baseDir));
+    ensureDir(path.dirname(newPath));
+    copyFile(file, newPath);
+  }
+}
+
+/// Copy a file from [source] to [destination].
+void copyFile(String source, String destination) {
+  writeBinaryFile(destination, readBinaryFile(source));
+}
+
 /// Creates a directory [dir].
 String createDir(String dir) {
   new Directory(dir).createSync();