Anurag Bhandari anu-rock

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.

	/*
	Copy this into the console of any web page that is interactive and doesn't
	do hard reloads. You will hear your DOM changes as different pitches of
	audio.

	I have found this interesting for debugging, but also fun to hear web pages
	render like UIs do in movies.
	*/

	const audioCtx = new (window.AudioContext \|\| window.webkitAudioContext)()

	#!/bin/bash

	# Thanks to https://gist.github.com/wenzhixin/43cf3ce909c24948c6e7
	# Execute this script in your home directory. Lines 17 and 21 will prompt you for a y/n

	# Install Oracle JDK 8
	add-apt-repository ppa:webupd8team/java
	apt-get update
	apt-get install -y oracle-java8-installer
	apt-get install -y unzip make # NDK stuff