Taggato: grep

Linux Shell - reindirizzamento I/O

Continuiamo la nostra guida alla Shell di Linux e iniziamo a fare qualcosa di interessante: il reindirizzamento input/output di comandi per creare una sorta di catena di montaggio e generare comandi complessi. Fino ad...

Linux

28 Nov, 2017

Personalizziamo il bashrc

Questo breve articolo nasce dalla necessità che ho avuto qualche giorno fa di aggiungere al comando history della shell di Linux l'informazione sulla data e l'ora in cui i comandi sono stati eseguiti sul...

Linux / Tutorial / Ubuntu

5 Lug, 2016

grep

grep, the Great and Powerful

Gennaio 2012. Piena tesi triennale. Con un mio collega stavamo lavorando su un framework che sputava fuori risultati in una serie di file di testo. Centinaia, migliaia di file di testo. Dovevamo trovare un...

Tutorial / Ubuntu

12 Apr, 2016

Advertisment ad adsense adlogger