Documentazione<Precedenti | Contenuti | Succ.>
type – Visualizza il tipo di un comando
. Digitare command è un builtin della shell che mostra il tipo di comando che la shell eseguirà, dato un nome di comando specifico. Funziona così:
Digitare command
Digitare command
dove "comando" è il nome del comando che si desidera esaminare. Ecco alcuni esempi:
[io@linuxbox~]$ tipo tipo il tipo è un builtin della shell [me@linuxbox ~]$ tipo ls
ls è alias di `ls --color=tty' [me@linuxbox ~]$ tipo cp
cp è /bin/cp
[io@linuxbox~]$ tipo tipo il tipo è un builtin della shell [me@linuxbox ~]$ tipo ls
ls è alias di `ls --color=tty' [me@linuxbox ~]$ tipo cp
cp è /bin/cp
Qui vediamo i risultati per tre comandi diversi. Notare che quello per ls (tratto da un sistema Fedora) e come il ls il comando è in realtà un alias per il ls comando con l'opzione "-- color=tty" aggiunta. Ora sappiamo perché l'output da ls viene visualizzato a colori!