Skip to content

Instantly share code, notes, and snippets.

View cmfcmf's full-sized avatar
🚂
Outside of my work for @google, I may be slow to respond.

Christian Flach cmfcmf

🚂
Outside of my work for @google, I may be slow to respond.
142 followers · 62 following
View GitHub Profile
@cmfcmf
cmfcmf / Update, edit and develop Tumblr Theme dynamically.js
Last active July 29, 2019 15:39
Creating and developing own tumblr themes has always been a pitty. However, this single line of javascript will help you A LOT. Follow the instuctions in the first comment below to get your own live version of your theme.
setInterval(function(){jQuery.ajax('YOUR-URL-TO-THE-THEME-FILE',{cache:false}).success(function(html){var btn=jQuery("div[data-action='update_preview']").first();if(html!=ace.edit('editor').getValue()){ace.edit('editor').setValue(html);if(!btn.hasClass('disabled'))btn.click()}});},1000);
@rrosiek
rrosiek / install_mysql.sh
Last active January 14, 2026 19:19
Vagrant provision script for php, Apache, MySQL, phpMyAdmin, Laravel, and javascript helpers. Tested with Ubuntu 16.04.
#! /usr/bin/env bash
###
#
# install_mysql.sh
#
# This script assumes your Vagrantfile has been configured to map the root of
# your application to /vagrant and that your web root is the "public" folder
# (Laravel standard). Standard and error output is sent to
# /vagrant/vm_build.log during provisioning.
@cmfcmf
cmfcmf / GifToAvi.sh
Last active January 2, 2016 17:39
Convert .gif to .avi on Ubuntu. Taken from here: http://www.linuxquestions.org/questions/linux-software-2/converting-animated-gif-to-avi-ffmpeg-549839/#edit2729743 .
convert test.gif test%05d.jpg
ffmpeg -r NUMBER_OF_JPG_PICTURES_GENERATED -i test%05d.jpg -y -an test.avi
@cmfcmf
cmfcmf / Ubuntu - Bilder um die Hälfte verkleinern
Last active January 4, 2016 15:09
Ubuntu - Bilder um die Hälfte verkleinern
mogrify -resize 50% -format jpg *
@cmfcmf
cmfcmf / Cut video from Ubuntu command line
Last active August 29, 2015 13:56
Cut video from Ubuntu command line, taken from here: http://askubuntu.com/a/59388/161884
mencoder -ss 00:30:00 -endpos 00:00:05 -oac copy -ovc copy originalfile -o newfile
@shah743
shah743 / twitter_widget_id_extractor.rb
Last active May 11, 2016 14:42
Get twitter embed widget's ID dynamically
class TwitterWidgetIdExtractor
WIDGET_SETTING_URL = "https://twitter.com/settings/widgets/new/user?screen_name="
SIGNIN_URL = "https://twitter.com/login"
attr_accessor :screen_name, :twitter_username, :twitter_password
def initialize(screen_name, twitter_username, twitter_password)
@screen_name = screen_name
@twitter_username = twitter_username
@twitter_password = twitter_password
@jupdike
jupdike / IntersectTwoCircles.js
Last active December 22, 2025 22:04
Find the intersections (two points) of two circles, if they intersect at all
// based on the math here:
// http://math.stackexchange.com/a/1367732
// x1,y1 is the center of the first circle, with radius r1
// x2,y2 is the center of the second ricle, with radius r2
function intersectTwoCircles(x1,y1,r1, x2,y2,r2) {
var centerdx = x1 - x2;
var centerdy = y1 - y2;
var R = Math.sqrt(centerdx * centerdx + centerdy * centerdy);
if (!(Math.abs(r1 - r2) <= R && R <= r1 + r2)) { // no intersection