I would like to do this by default tools and scripting. The logic is just to take pictures from the video and store them in the .gif format.
Editing
Do sudo apt-get install kazam pitivi openshot
for test video.
I record a video and get
- I Choose
Edit with
Pitivi, and Press Continue. Fails. Bug here because of python3/gst-python dependency fails. - I choose
Edit with
Openshot, and Press Continue. GUI opens. Just drag the video to the bottom and add cuts. It works. Avidemux not available in apt-get. I sent an email about the thing to the developer of Avidemux.
Conversion and Resizing
Do sudo apt-get install ffmpeg
for the conversion tool.
Resize. If .mp4, downsample by 50%
# http://askubuntu.com/questions/160869/need-to-downsample-video-to-a-lower-resolution
ffmpeg -i input.mp4 -vf scale=iw/2:-1 output.mp4
Convert from .mp4 to .gif
ffmpeg -i ScreencastOfKazam.mp4 -pix_fmt rgb24 outputYes.gif
Resize. If .gif, use the tool ezgif.com/resize because I could not find a one-liner for it. TODO
System: Ubuntu 16.04 64 bit, Debian 8.5
Hardware: Macbook Air 2013-mid, Asus Zenbook UX303UA