Taggato: shell

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

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

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

Ripristinare Unity in Ubuntu.

Qualche tempo fa ho testato una guida scritta da Alessio per utilizzare Cuda con Opencv su Ubuntu per sfruttare la potenza delle GPU all'interno del codice. Purtroppo però, come molti di voi sicuramente sapranno,...

CUDA / Tutorial / Ubuntu

11 Dic, 2013

Advertisment ad adsense adlogger