Remove `pub run`

[sigurdm]

dart pub run has been deprecated for years in favor of dart run.

The two commands have subtle differences in their command resolution and how they chose whether to recompile or not.

So we could choose to either

• remove pub run
• strictly align the two

Both might have a migration cost so I think the best choice might be to just rip off the bandage and remove it. I think an actual alignment would be very hard, because dart run can do a lot more than pub run.

We would now no longer have a way of running from a flutter invocation. Not sure if that is a problem. But in that case we could consider introducing a flutter dart or something.

cc @mit-mit are there anyone we should ask or warn?

[mit-mit]

Do we have any analytics on how used dart pub run in our most recent stable?

[sigurdm]

Numbers from last 30 days:

dart run 13045847
dart pub run 62390

So certainly still being used, but not a lot...

[sigurdm]

As a warmup we can go through these searches and migrate where needed

https://github.com/search?q=org%3Adart-lang+%22pub+run%22&type=code
https://github.com/search?q=org%3Aflutter+%22pub+run%22&type=code
https://github.com/search?q=org%3Agoogle%20%22pub%20run%22&type=code