https://rudd-o.com/linux-and-free-software/how-do-you-rip-a-dvd-to-a-bunch-of-mp4-files