TL; DR: create a /boot/refind_linux.conf file with the following content:

"Boot with standard options"  "root=UUID=uuid-of-unencrypted-root-partition ro cryptdevice=UUID=uuid-of-luks-partition:volume-name:allow-discards quiet"
"Boot to single-user mode"    "root=UUID=uuid-of-unencrypted-root-partition ro cryptdevice=UUID=uuid-of-luks-partition:volume-name:allow-discards quiet single"
"Boot with minimal options"   "root=UUID=uuid-of-unencrypted-root-partition ro cryptdevice=UUID=uuid-of-luks-partition:volume-name:allow-discards"

The rest of the article is a nice story about why I needed this 😄️.

More fast storage!

I built my current desktop two years ago with the first money I earned during my internship. So, I was on a budget, and cheapening on the storage is always a way to save some bucks.

Therefore, I bought a WD Black 250GB SSD to dual boot my systems and a 2TB hard disk for the data.

Recently I changed job, and now I use my personal desktop to work. And I need more fast storage.

So, since I was already upgrading, I finally switched to full-disk encryption and btrfs. … [Leggi il resto]

Contestualizzazione

Se vi interessa solo la soluzione del problema, guardate più in basso.

La settimana scorsa il portatile che girava per la casa, il Packard Bell di cui avevo già parlato, è morto, confermando la mia tesi sulla casa produttrice: meglio evitarla! Penso sia andato il BIOS, perché del monitor si accende solo la retroilluminazione, la ventola non gira e la CPU non scalda neanche.

Così abbiamo parlato un po’ in famiglia e abbiamo deciso di prenderne uno per sostituirlo.

Il budget era limitato, perché d’altronde non volevamo un computer potente, visto che ci serve solo per cose semplici come suite d’ufficio e navigare su internet, più alcune volte compiti un po’ più gravosi. Di sicuro un requisito non era una scheda grafica potente.

Abbiamo girato un po’ per i vari negozi della zona e la scelta è ricaduta su un HP 15D002SL.

Il computer è dotato di un Core i3 3110M (2,4GHz), 4GB di RAM, 500GB, scheda grafica incorporata, scheda ethernet e wireless della realtek, una USB 3.0 (e 2 2.0), Windows 8.1.

È costato 399€ e per quella cifra trovavo solo dei Pentium e dei Celeron, o altrimenti degli i3 della famiglia U, quindi con un clock più basso (tipo 1,66GHz), perciò come rapporto qualità-prezzo è stato il migliore che ho trovato. … [Leggi il resto]