En primer lugar, debo decir que he usado con éxito Disk Utility en el pasado y, por lo tanto, podría cambiar el nombre de mis particiones.
Pero ayer, vi que mis particiones no están montadas, por lo que utilicé el Administrador de dispositivos de almacenamiento para hacer que se monten automáticamente al inicio. También fue un éxito, pero vi que las particiones están etiquetadas como sda1 y sda7, no como estaban inicialmente. Así que gané de abrir nuevamente Disk Utility para cambiarles el nombre.
¡El problema es que, no importa cuántas veces intente abrir la aplicación, simplemente no se inicia en absoluto! No sé por qué está haciendo esto, como ya dije, podría usarlo muy bien en el pasado. No sé si esta "falta de reacción" de la aplicación es el resultado de las acciones que describí antes, o si es otra cosa.
Pero estoy pensando en intentar iniciar Disk Utility en la terminal. Tal vez lo obligue a ejecutarse y resuelva el problema de etiquetado. ¿Tienes alguna idea?