chimmelb

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.

	const ReconnectingWebSocket = require('reconnecting-websocket');
	const axios = require('axios');
	const WS = require('ws');

	// Written with ES5 metaphors to eliminate the need for Babel in test.

	const KEY_CHARS = '0123456789abcdefghijklmnopqrstuvwxyz'.split('');

	const generateRequestId = () => {
	const uuid = [];

	var pendingNotifications = {},
	publicApi = {},
	api;

	// Dummy function to avoid an Unhandled Rejection error if the user is offline. Prevents us
	// from needing to .catch() the notification result in every spot where we call it. Also a
	// useful debugging point, so we don't just null it out.
	function userNotOnline() {
	}

	2016/03/15
	Tested with BBEdit 11.5 / OS X 10.11.3 / Python 2.7.10

	http://grokin.gs/blog/elegant-json-pretty-print-for-bbedit/

	Place the script (or a link to this script) in the ~/Library/Application Support/BBEdit/Text Filters directory
	Restart BBEdit.
	The new filter should be under: "Test > Apply Text Filter > bbedit-pretty-json"

	---
	- hosts: all
	remote_user: ubuntu
	vars:
	app_repo: [email protected]:**/**.git
	app_id: my_app
	app_folder: /home/ubuntu/my_app
	log_folder: /home/ubuntu/my_app_logs
	tasks:
	- name: git clone