如何通过丢帧来加速视频？

I've got a video that's 30 minutes long. I want to make a speeded up version that's (say) 15 minutes long. I could do this by dropping every 2nd frame. How can I do this on linux?I've got a video that's 30 minutes long. I want