| """Based on https://stackoverflow.com/a/38866913/23325241""" | |
| import re | |
| # Attempt to import requests and handle if it's missing | |
| try: | |
| import requests | |
| requests_available = True | |
| except ImportError: | |
| requests_available = False |
Grab ffmpeg from https://www.ffmpeg.org/download.html
It's a command line tool which means you will have to type things with your keyboard instead of clicking on buttons.
The most trivial operation would be converting gifs:
ffmpeg -i your_gif.gif -c:v libvpx -crf 12 -b:v 500K output.webm
-crf values can go from 4 to 63. Lower values mean better quality.-b:v is the maximum allowed bitrate. Higher means better quality.
| // ==UserScript== | |
| // @name xkcd 1288 substitutions | |
| // @namespace http://github.com/mcef | |
| // @description Substitutions that make reading the news more fun | |
| // | |
| // @include http://www.bbc.com/* | |
| // @include http://www.cbc.ca/* | |
| // @include http://www.theguardian.com/* | |
| // @include http://www.telegraph.co.uk/* | |
| // @include http://www.theonion.com/* |