Personalizzare editor VIM su Linux

Personalizzare editor VIM su linux Per personalizzare l’editor VIM su piatatforme Linux e Unix bisogna aggiungere delle opzioni nel file .vimrc situato nella home directory dell’utente. Io in ogni sistema che gestisco aggiungo questa opzione set nu perchè mi è utile avere il numero di riga come riferimento

Come si usa il comando SCREEN di Linux

Screen è un “moltiplicatore di terminali” che ci permette di gestire più terminali, “sganciare” un processo dalla sessione, e “riagganciarlo”. Screen è particolarmente utile quando abbiamo la necessità di scollegarci dalla macchina pur lasciando in esecuzione un processo lanciato dalla nostra sessione. Come funziona: screen avvia screen e ci restituisce la nostra shell screen + […]

Promozione Passa ad Avira

Tutti coloro che decidono di abbandonare la concorrenza e di passare ad Avira, potranno beneficiare dell’offerta Passa ad Avira che permette di risparmiare il 20% del prezzo di listino. È sufficiente fornire copia della fattura di acquisto di un prodotto concorrente ancora in corso di validità al momento della richiesta dell’offerta commerciale. Per passare ad […]

ricercare i file modificati oggi via shell su un sistema linux

Capita spesso di avere necessità di sapere quali file abbiamo modificato oggi o negli ultimi n giorni. In tutti questi casi ci viene in aiuto il comando find con due opzioni fondamentali, -type e -mtime, vediamo come Apriamo una shell, una bash x me, e digitiamo

Cerchiamo di spiegare il significato del comando: find è il […]

Script per l’eliminazione ricorsiva dei file

Spesso si rende necessario dover eliminare una lista di file presenti in svariate directory e farlo tramite file manager è veramente lungo e noioso. In questi casi con un semplice script possiamo risolvere il problema. Vediamo come fare. Ammettiamo di voler eliminare tutti i file pdf presenti nella nostra home directory, comprese le sottodirectory: 1) […]

Salvare le proprie ricerche su file

Salvare le proprie ricerche su file? Niente di più facile con la shell bash. Vediamo come. Innanzi tutto impostiamo la ricerca ammettendo che stiamo cercando tutti i file pdf presenti nella home directory (/home/mia_home): 1) cerchiamo i file find /home/mia_home |grep .pdf$ l’espressione regolare grep .pdf$ cerca tutti i file che finiscono con .pdf, quelli […]