> cat > stream | ![]() |
Precedente Successivo Modifica Rinomina Undo Refresh Search Amministrazione
| Documentazione |
|
| CLOSE | Chiude uno stream |
| Eof | Dice se la fine del file è stata raggiunta. |
| FLUSH | Scarica l'output di uno stream bufferizzato. |
| INPUT | Legge stringhe da uno stream testo e le converte in valori. |
| INPUT FROM | Redirige lo standard input. |
| LINE INPUT | Legge linee da uno stream testo. |
| LOCK | Blocca uno stream aperto. |
| Lof | Restituisce la lunghezza di uno stream. |
| OPEN | Apre un file per lettura o scrittura e crea uno stream. |
| OUTPUT TO | Redirige lo standard output. |
| PIPE | Apre una pipe per lettura o scrittura e crea uno stream. |
| Stampa espressioni su uno stream. | |
| READ | Leggi dati binari da uno stream. |
| SEEK | Cambia la posizione del puntatore file dello stream. |
| Seek | Ottiene la posizione del puntatore file dello stream. |
| UNLOCK | Sblocca uno stream aperto. |
| WRITE | Scrive dati binari su uno stream. |