feed_child

Description:

public void feed_child (uint8[]? text)

Sends a block of UTF-8 text to the child as if it were entered by the user at the keyboard.

Parameters:

this

a Terminal
text

data to send to the child
length

length of text in bytes, or -1 if text is NUL-terminated