PHP cli utilities

gistfile1.php

<?php

/**
 * read input from std in
 */
function readInput ($str = "") {
    echo $str;
    $handle = fopen ("php://stdin","r");
    $line = fgets($handle);
    fclose($handle);
    return trim($line);
}

/**
 * output string to stdout with a line ending char
 */
function writeLn($str) {
    echo $str . "\n";
}


/**
 * clean display
 */
function clear() {
    exec('reset');
}