[Bug] No way to print a string without newlines

[mks-h]

The echo built-in command always prints a newline at the end. There is currently no equivalent to $echo -n$, that prints the string without adding a newline.

[b1ek]

we should also add a printf builtin or stdlib command, which does not print a newline at the end

[Ph0enixKM]

@b1ek I’m wondering if this should be a separate command printf or maybe some kind of modifier or argument for echo?

[Mte90]

I think that is better a different command as printf is quite a standard function name and echo has the same bash behavior in this way.

[Ph0enixKM]

I'd implement printf as print(text: Text): Null standard library function. What do you think?

[CymDeveloppement]

I'd implement printf as print(text: Text): Null standard library function. What do you think?

i propose printf(format: Text, args: [Text] = []): Null
I'm going to make a pull request