The ffmpeg is the universal video manipulator in Linux, all distros could use the ffmpeg as video manipulator.

Now I want to reduce the size of the mp4 video I got from my friend into friendlier size. This code is one option to consider.

ffmpeg -i input.mp4 -vcodec h264 -acodec mp3 -crf 30 output.mp4