Skip to content

Instantly share code, notes, and snippets.

View 3nids's full-sized avatar

Denis Rouzaud 3nids

View GitHub Profile
git clone og:OSGeo4A
cd OSGeo4A
# edit recipes/qgis/recipe.sh -> zip file and md5
docker build . -t opengisch/qfield-sdk:RELEASENUMBER
docker push opengisch/qfield-sdk:RELEASENUMBER
@3nids
3nids / Convert .mov or .MP4 to .gif.md
Created June 28, 2024 10:48 — forked from SheldonWangRJT/Convert .mov or .MP4 to .gif.md
Convert Movie(.mov) file to Gif(.gif) file in one command line in Mac Terminal

This notes is written by Sheldon. You can find me with #iOSBySheldon in Github, Youtube, Facebook, etc.

Need

Convert .mov/.MP4 to .gif

Reason

As a developer, I feel better to upload a short video when I create the pull request to show other viewers what I did in this PR. I tried .mov format directly got after finishing recording screen using Quicktime, however, gif offers preview in most web pages, and has smaller file size.

This is not limited to developer, anyone has this need can use this method to convert the files.