Personalizzare editor VIM su Linux

Reading Time: < 1 minute 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

 data-srcset

Come si usa il comando SCREEN di Linux

Reading Time: < 1 minute Vediamo come si usa il comando screen di Linux, ma in realtà lo troviamo anche su OSX, e di cosa si tratta. 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 […]

Promozione Passa ad Avira

Reading Time: < 1 minute 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

Reading Time: < 1 minute 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

Reading Time: < 1 minute 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

Reading Time: < 1 minute 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 […]