FFMpeg

add Timestamp to Video

ffmpeg -i <video_in>.mp4 \ 
	-vf  "drawtext = fontfile=/usr/share/fonts/truetype/dejavu/DejaVuSerif.ttf: text = '%{pts:gmtime:0:%M\\\\:%S}':\x=80: y=125: fontsize=48: fontcolor=white@1.0: box=1: boxcolor=black@1.0" \
    	<video_out>.mp4

convert all files of type in directory

for i in *.ts; do ffmpeg -i "${i}" -c:v libx264 -c:a copy -c:s mov_text "${i%%.*}.mp4"; done

Find video Codec of Video

ffprobe -select_streams v0 -show_entries "format:stream" \
  -of json -v quiet \
  -i ./path/to/videofile.extension \
  | grep -w "format_name" | cut -d "\"" -f4

mpegts