Method read_stdin

main/interface/cpp-terminal/input.cpp:184–195

Returns the whole input from STDIN as string.

//Returns the whole input from STDIN as string.
std::string Term::read_stdin() {
    std::string file;
    char c; //No need to initialize.
    while (true) {
        c = Platform::read_raw_stdin();
        if (c == 0x04) {
            return file;
        } else {
            file.push_back(c);
        }
    }
}