The Best 7 Video Resizers for Linux
https://www.sysgeeker.com/blog/the-best-7-video-resizers-for-linux-resize-your-videos-with-ease.html

How to Crop and Resize a Video Using FFmpeg
https://www.sysgeeker.com/blog/the-best-7-video-resizers-for-linux-resize-your-videos-with-ease.html

On line Video Compressor
https://www.freeconvert.com/video-compressor
https://invideo.io/tools/compress/video-compressor/

How can I reduce a video's size with ffmpeg
https://unix.stackexchange.com/questions/28803/how-can-i-reduce-a-videos-size-with-ffmpeg

How to extract images from video file?
https://unix.stackexchange.com/questions/185877/how-to-extract-images-from-video-file

wmctrl -r Firefox -e 0,110,15,1450,1030

Anyone knows a good way to resize any window to for example 640x480?

Reason is, of course, screencasting.

Under windows I've used ZoneSize from donationcoder. (Btw: For Firefox it's easy, just us...

Use the wmctrl command:

To list the windows:

$ wmctrl -l
0x00c00003 -1 rgamble-desktop Bottom Expanded Edge Panel
0x00c00031 -1 rgamble-desktop Top Expanded Edge Panel
0x00e00022 -1 rgamble-desktop Desktop
0x0260007c 0 rgamble-desktop Google - Mozilla Firefox

To resize a window based on its title:

wmctrl -r Firefox -e 0,0,0,640,480

The arguments to the resize option are gravity,X,Y,width,height so this will place the window at the top-left corner of the screen and resize it to 640X480.