echo (Unix)
echo è un comando dei sistemi operativi Unix e Unix-like, e più in generale dei sistemi POSIX[1], che scrive i suoi parametri sullo standard output (tipicamente sul terminale da cui il comando è stato eseguito), solitamente usato negli script di shell per visualizzare messaggi informativi e/o per scrivere del testo in un file. Varianti di tale comando sono disponibili anche in altri sistemi operativi, tra i quali MS-DOS, AmigaOS[2], Microsoft Windows[3] e OS/2.
Sintassi
[modifica | modifica wikitesto]La sintassi generale di echo è la seguente:
echo [arg1 …]
I parametri arg indicano il testo da scrivere sullo standard output.
In alcune varianti di Unix, ma anche nella versione GNU[4], il comando echo supporta anche delle opzioni, tra cui ad esempio vi sono -n e -e che influenzano il modo in cui i parametri sono interpretati ed il modo in cui sono visualizzati. Si tratta tuttavia di opzioni non standard a causa di incompatibilità storiche tra i sistemi BSD e System V; dove si presentano problemi è possibile utilizzare il comando printf.
Esempi di utilizzo
[modifica | modifica wikitesto]Il comando visualizza la scritta Questo è un testo.:
$ echo Questo è un testo. Questo è un testo.
Il comando scrive Questo è un testo. nel file test.txt usando la redirezione tramite l'operatore "maggiore". Il contenuto del file viene poi visualizzato tramite il comando cat:
$ echo "Questo è un testo." > test.txt $ cat test.txt Questo è un testo.
Altri linguaggi
[modifica | modifica wikitesto]Il comando echo è presente anche in alcuni linguaggi di programmazione, come PHP[5], per produrre un output di una o più stringhe.
Note
[modifica | modifica wikitesto]- ^ (EN) echo, in The Open Group Base Specifications Issue 6 IEEE Std 1003.1, 2004 Edition. URL consultato il 02-01-2009.
- ^ (EN) AmigaDOS/Echo [collegamento interrotto], su utilitybase.com. URL consultato il 02-01-2009.
- ^ (EN) echo, in Windows XP Command-line reference A-Z. URL consultato il 02-01-2009.
- ^ (EN) echo: Print a line of text, in GNU Coreutils manual. URL consultato il 02-01-2009.
- ^ Manuale di PHP: echo, su it.php.net. URL consultato il 1º maggio 2007 (archiviato dall'url originale il 18 maggio 2007).
