Knowing the name of the executing script

[DartBot]

This issue was originally filed by ngeoffray@google.com

---

It would be nice to have access in Dart to the name of the executing script. For example, getting 'myscript.dart' from the command:

dart_bin myscript.dart 1 2 3

$ cat myscript.dart

main() {
  String scriptName = .... // api to get the name
  print('command invoked: dart_bin $scriptName ${Strings.join(new Options().argument)}');
}

The Options class does not provide it, it currently just provides [1, 2, 3].

[iposva-google]

I'll extend the Options class with a script accessor. In the specification we called this the root library, but I am not sure that makes any sense in this context. I am open to suggestions of a better name though. Nicolas?

---

Added Accepted label.

[DartBot]

This comment was originally written by ngeoffray@google.com

---

The name 'script' looks fine by me.

Another option would be to make it the first argument in the options array. Did you consider it? I think that's what other mainstream languages do.

[whesse]

Issue #1145 has been merged into this issue.

[whesse]

Fixed in r3485. Should the library be documented in CoreLib or in server-side? It is implemented in CoreLib, but only useful implementation is on server-side VM.

---

Added Fixed label.