Linux command-line option to do video lens correction?
Frei0r effects has a lenscorrection module:
https://ffmpeg.org/ffmpeg-filters.html#frei0r-1

this is an example to remove the fisheye distortion of a samyang 7.5mm


  -filter_complex 'frei0r=lenscorrection:0.5:0.5:0.16:0.6'


this is the docs from the mlt framework for frei0r lenscorrection
https://www.mltframework.org/bin/view/MLT/FilterFrei0r-lenscorrection