bash

Mattepuffo's logo
Cambiare estensione ai files in Linux

Cambiare estensione ai files in Linux

Ieri avevo la necessità di cambiare l'estensione di file da .JPG a .jpg sulla mia macchina con Linux..

Girovagando, ho trovato una semplice riga di comando che fa questo in automatico.

Dovrebbe funzionare anche in macOS.

Ovviamente state attenti a cambiare le estensioni: alcuni cambiamenti potrebbero rendere illegibile il file (ad esempio da PDF a XLS).

Mattepuffo's logo
Cambiare la shell di default in Linux

Cambiare la shell di default in Linux

Su Linux è possibile usare diverse shell.

La bash è tra le più usate, ma anche la zsh sta prendendo parecchio piede.

Oggi vediamo come:

  • identificare la shell usata
  • identificare le shell disponibili a sistema
  • cambiare shell

Mattepuffo's logo
Colorare l'output di ls in Mac OS X

Colorare l'output di ls in Mac OS X

Il comando ls, disponibile anche su Mac OS X, puà generare molto output.

Tendenzialmente, quindi, si imposta un output colorato in modo da poterlo leggere meglio.

Vediamo come eseguire questa impostazione proprio in Mac OS X.

Mattepuffo's logo
Creare un menu per il nostro terminale con qmenu

Creare un menu per il nostro terminale con qmenu

Se usiamo spesso i soliti programmi da terminale, in genere ci ritroveremo con vari alias all'interno del nostro bashrc.

Potrebbe essere comodo creare un menu, in modo da lanciare in nostri programmi senza doversi ricordare tutti gli alias.

Da oggi è possibile usando qmenu!

Mattepuffo's logo
Colorare l'output di grep

Colorare l'output di grep

Il comando grep è uno dei più usati in ambito Linux, e in parole povere serve per fare delle ricerche su stringhe o parole.

Quando però si fanno ricerche su testi o outpu molto lunghi, può risultare scomodo avere un colpo d'occhio su ciò che è stato trovato.

Possiamo però colorare l'output di grep in maniera molto semplice, e vi assicuro che se usate questo comando spesso questa operazione risulta molto utile.

Per colorare grep dobbiamo fare una piccola una piccola modifica al nostro .bashrc, un file nascosto dentro la nostra home.