Nayed Saïd Ali nayed

gif-from-tweet

There are so many great GIFs out there and I want to have copies of them. Twitter makes that harder than it should be by converting them to MP4 and not providing access to the source material. To make it easier, I made a bash pipeline that takes a tweet URL and a filename, extracts the MP4 from that tweet and uses ffmpeg to convert back to GIF.

Dependencies

ffmpeg
- macOS: brew install ffmpeg
- Ubuntu/Debian: apt install ffmpeg

Most active GitHub users (git.io/top)

The list would not be updated for now. Don't write comments.

The count of contributions (summary of Pull Requests, opened issues and commits) to public repos at GitHub.com from Wed, 21 Sep 2022 till Thu, 21 Sep 2023.

Because of GitHub search limitations, only 1000 first users according to amount of followers are included. If you are not in the list you don't have enough followers. See raw data and source code. Algorithm in pseudocode:

githubUsers

Moving from jQuery

Events

// jQuery
$(document).ready(function() {
  // code
})

	" Vim syntax file
	" Language: Todo
	" Maintainer: Huy Tran
	" Latest Revision: 14 June 2020

	if exists("b:current_syntax")
	finish
	endif

	" Custom conceal

	# boolean values, use if
	if expression, do: this(), else: that()

	# non-boolean multi-value single expressions, use case
	case expression do
	value1 -> one()
	value2 -> two()
	value3 -> three()
	_ -> anything_else()
	end