HEAD
head (dalla lingua inglese head, testa, per estensione inizio) è un comando, che mostra sullo standard output le prime linee di uno o più file di testo, o dei dati provenienti dallo standard input.
È un tipo di filtro.
You may also like
4:26
Posted on 11 Ottobre 2020 by Officine Informatiche Roma
Quando si utilizza la shell dei comandi, il prefisso di un comando con nohup impedisce che il comando venga interrotto automaticamente quando si [...]
3 views
2:36
Posted on 11 Ottobre 2020 by Officine Informatiche Roma
Comando tr Il comando tr permette di modificare o cancellare caratteri da uno stream di input. Dato ad esempio il file contenente l’elenco [...]
2 views
Posted on 5 Novembre 2020 by Officine Informatiche Roma
La Shell è la nostra interfaccia con il file system di Linux; in questa lezione vedremo, infatti, come è possibile creare e cancellare file e [...]
1 views
2:15
Posted on 11 Ottobre 2020 by Officine Informatiche Roma
CAT è un comando dei sistemi operativi Unix e Unix-like, e più in generale dei sistemi , che legge i file che gli sono specificati come [...]
2 views
3:18
Posted on 5 Novembre 2020 by Officine Informatiche Roma
Proseguiamo in questa lezione il nostro viaggio nel file system analizzando altri due utili comandi della shell di Linux, ovvero cp (copy) e mv [...]
0 views
3:38
Posted on 11 Ottobre 2020 by Officine Informatiche Roma
CUT (dalla lingua inglese cut, taglia) è un comando dei sistemi operativi Unix e Unix-like legge uno o più file di testo (o lo standard input) [...]
2 views
Posted on 5 Novembre 2020 by Officine Informatiche Roma
head (dalla lingua inglese head, testa, per estensione inizio) è un comando, che mostra sullo standard output le prime linee di uno o più file di [...]
1 views
4:26
Posted on 5 Novembre 2020 by Officine Informatiche Roma
NOHUP Quando si utilizza la shell dei comandi, il prefisso di un comando con nohup impedisce che il comando venga interrotto automaticamente [...]
0 views
5:30
Posted on 11 Ottobre 2020 by Officine Informatiche Roma
Fino ad ora ci siamo soffermati sulle modalità di gestione di file e cartelle. In questa lezione vedremo un argomento strettamente correlato: la [...]
1 views
Posted on 8 Ottobre 2020 by Officine Informatiche Roma
rm file cancella il file cat file mostra il contenuto di un file more file mostra il contenuto di un file less file mostra il contenuto di un [...]
4 views
2:44
Posted on 7 Ottobre 2020 by Officine Informatiche Roma
Da terminale: man cat Gestione files e directory cd /home entrare nella directory ‘/home’ cd .. risalire di un livello cd ../..
1 views
Posted on 8 Ottobre 2020 by Officine Informatiche Roma
mkdir dir crea la directory di nome dir mkdir /dir crea la directory di nome dir sulla directory principale (radice) pwd comunica quale sia la [...]
2 views
Posted on 8 Ottobre 2020 by Officine Informatiche Roma
echo file* mostra tutti i files che iniziano con il nome file cat file1 file2 > file3 concatena file1 e file2 e li copia in file3 chgrp group1 [...]
1 views
5:43
Posted on 4 Novembre 2020 by Officine Informatiche Roma
MAIN LINUX COMMANDS Below is a list of the main Linux commands. A command can have a series of options which are usually indicated with the sign [...]
2 views
Posted on 4 Novembre 2020 by Officine Informatiche Roma
Below is a list of the main Linux commands. A command can have a series of options which are usually indicated with a "-" DF: FREE SPACE ON DISK [...]
3 views
