Il tipo MIME dei dischi DVD è: x-content/video-dvd
Sul sistema Ubuntu che ho sotto le mani adesso l’associazione predefinita è con totem.Anche sul mio Debian: Totem è quello che Gnome ora chiama "video".Vedo che sí, il vlc.desktop ha quel mime dentro.Lo ho aggiunto a ~/.local/share/applications/mimeapps.list, che mi sembra la versione user-wide del defaults.list e, a patto di fare logout e login, funziona :)