System · Handy Tools

AI

Image

Video

• ffmpeg:
  • install:
    sudo apt install ffmpeg
  • change format:
    ffmpeg -i input.mp4 output.avi
  • remove audio:
    ffmpeg -i input.mp4 -an output.mp4
  • make the video speed 3.14 times of its original:
    ffmpeg -i input.mp4 -filter:v "setpts=PTS/3.14" output.mp4
  • cut the video from 00:01:00 start time to 00:02:00 end time:
    ffmpeg -ss 00:01:00 -to 00:02:00 -i input.mp4 output.mp4

PDF

Math

Miscellaneous