Hugo Locurcio badcfa2523 Expose OS.read_string_from_stdin() to the scripting API ...

This can be used in scripts to read user input in a blocking manner.

This also removes the unused `block` argument, which is always `true`.

2023-01-16 11:39:53 +01:00

5.0 KiB

Raw Blame History

View Raw