jorgecoa

This is the way I found to create high quality GIFs from videos. Feel free to recommend a better path or tool.

1. Install ffmpeg. Make sure ffplay is installed along with ffmpeg. For example for macOS:

   brew install ffmpeg --with-ffplay

2. If the original video has black bars at the top/bottom, you can remove them:
3. Detect the values for the cropping filter using ffplay. The cropdetect filter is configured with the arguments cropdetect=limit:round:reset, 24:16:0is the default.

jorgecoa

H2 Console SQL Cheatsheet

This is a collection of the most common commands I run while consulting H2 databases from the console. The variables shown between "[" and "]", should be replaced with your custom names. To make things simpler, other commands just use examples.

Version

https://www.h2database.com/html/systemtables.html#information_schema

SELECT value FROM information_schema.settings WHERE name='info.VERSION';