Taggato: linux

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 Shell - Comandi e Alias

Continuiamo con il nostro viaggio nel mondo della Shell Linux andando ad approfondire alcuni dei comandi più utili per comprendere come utilizzare al meglio il nostro sistema. Iniziamo con dare una definizione di comando,...

Linux Shell - File e cartelle

Oggi vediamo come interagire con file e cartelle tramite la Shell di Linux. In particolare vedremo come copiare, spostare e rimuovere file e come creare nuove cartelle. Prima di addentrarci nel funzionamento dei singoli...

Linux Shell - Il sistema

Continua la guida sulla Shell di Linux e questa settimana inizieremo ad esplorare più a fondo il nostro sistema operativo. Abbiamo visto come usando il comando ls si possa elencare il contenuto della cartella...
screen

Multiplexer per terminali - parte 2 - tmux

In questo secondo articolo dopo la pausa estiva 2016 ho deciso di riprendere un argomento lasciato aperto alcuni mesi fa: l'utilizzo di multiplexer per terminali in ambiente Linux per mantenere attive più sessioni. Avevamo...

Linux Shell - Introduzione

Con questo post inizia una serie di articoli incentrati sulla Shell di Linux, ovvero l'interprete di comandi con il quale interagiamo tramite un terminale. In particolare studieremo Bash, la shell del progetto GNU utilizzata...

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...
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...
Advertisment ad adsense adlogger