>>3721672These are shell commands, or cmd commands (if you're on windows).
The program being run is ffmpeg, which is kinda the swiss army knife for video and audio files. I mostly use it for converting from one codec to another, but you can do pretty much anything you'd be able to do from a video editor.
> ffmpeg -y -itsscale 0.2 -i 1591004425312.webm -c copy quality_speed.webmWhat this command is doing is:
> running ffmpeg> -y to automatically say "yes' to overwriting existing files> -itsscale 0.2 to set the input time scale to 0.2 * it's original length. This makes it 5 times faster> -i 1591004425312.webm inputs that webm file as an input> -c copy tells ffmpeg not to re-encode the stream, instead just copy it how it is> quality_speed.webm as the last argument tells ffmpeg to render the new file to this filenameWhat you get at the end is a webm that has not been re-encoded, instead it's frame rate has just been increased, without adding extra frames. And so the webm is faster, while still keeping the exact same quality as the original source.
You can find more info at
ffmpeg.org