Come posso ottenere l'UUID di un volume che contiene il /
filesystem? La cosa migliore che ho scoperto fino ad oggi è blkid -o list
. Ma questo output è leggibile dall'uomo e difficile da analizzare. Forse c'è un modo migliore?
Ne ho bisogno per parametrizzare la gestione della configurazione con modelli specifici del sistema.
NOTA su blkid
gotcha per coloro che potrebbero riutilizzare i risultati della mia domanda in futuro: blkid
memorizza nella cache i risultati delle precedenti esecuzioni su /etc/blkid.tab
. Ciò significa che l'esecuzione blkid
come utente non root per la prima volta non restituirà alcun dato. Inoltre, l'esecuzione blkid
come utente non root dopo l'esecuzione root restituirà dati non aggiornati (probabilmente errati).
/dev/disk/by-label
... Questo funziona anche per le partizioni che non sono montate. Ha il vantaggio di poter scrivere script che fanno cose come rsync da root a root-bak, che è molto meno soggetto ad errori rispetto all'utilizzo di 2 UUIDS che non "significano" nulla.