Categoria: 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

28 Nov, 2017

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 / Ubuntu

16 Mag, 2017

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 / Tutorial / Ubuntu

13 Dic, 2016

Docker e la gestione dei Container

Con questo articolo faremo un'introduzione a Docker, quello che viene considerato da tanti come l’arma definitiva del sysadmin, superando la virtualizzazione tradizionale. Docker è uno strumento che ha, come scopo principale, quello di rendere...

Linux / Tool / Tutorial / Ubuntu

14 Nov, 2016

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...

Linux / Ubuntu

25 Ott, 2016

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 / Tutorial / Ubuntu

27 Set, 2016

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...

Linux / Tutorial / Ubuntu

20 Set, 2016

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

Advertisment ad adsense adlogger