Nel sistema operativo Linux, ogni programma in esecuzione ha una serie di input e di output descrittori . Ogni descrittore può essere un file , una presa di rete o un tubo ( per comunicare con un altro processo seguendo uno schema produttore-consumatore ) . I gusci Linux includono un meccanismo di reindirizzamento potente , con la quale l'output di un file può essere (ri ) diretto a qualsiasi descrittore senza dover modificare il codice del file che genera output. In particolare , è possibile inviare l'output di un file a qualsiasi file di vostra scelta . Istruzioni
1
Accedere al computer Linux .
2
lanciare una shell di comando . Il modo specifico di eseguire questo passaggio dipende dalla vostra distribuzione Linux . Per esempio, su Ubuntu Linux , cliccare su "Applicazioni" sulla barra delle applicazioni nella parte superiore dello schermo . Seleziona "Accessori" , quindi selezionare " Terminal" . Una nuova finestra di terminale si aprirà , con un guscio in attesa di vostri comandi
3
digitare la seguente riga nella shell : .
ProcessFile >
myOutputFile < p > Sostituire " ProcessFile " con il nome del file che genera l'output desiderato , e " myOutputFile " con il nome del file che si desidera indirizzare l'output a . Premere il tasto " Enter ". Linux esegue " ProcessFile " e, come viene generato output, scrivere fuori per " myOutputFile " .