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 blkidgotcha per coloro che potrebbero riutilizzare i risultati della mia domanda in futuro: blkidmemorizza nella cache i risultati delle precedenti esecuzioni su /etc/blkid.tab. Ciò significa che l'esecuzione blkidcome utente non root per la prima volta non restituirà alcun dato. Inoltre, l'esecuzione blkidcome 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.