Skip to content

Instantly share code, notes, and snippets.

g-andrade / decode_erlang_external_term_format.erl
Last active Nov 1, 2020
Decoding Erlang's external term format (incomplete)
View decode_erlang_external_term_format.erl
binary_to_term(<<131, 80, _UncompressedSize:32, CompressedData/binary>>) ->
Data = zlib:uncompress(CompressedData),
binary_to_term(<<131, Data/binary>>) ->
decode(<<82, _AtomCacheReferenceIndex, _Rest/binary>>) ->
erszcz / graph_fsm.erl
Created Mar 15, 2016
Vance Shipley's graph_fsm - a tool for drawing Erlang gen_fsm diagrams (
View graph_fsm.erl
%% graph_fsm.erl
%% Author: Vance Shipley, Motivity Telecom Inc. <>
%% Date: November, 2000
%% This library is free software; you can redistribute it and/or
%% modify it under the terms of the GNU Lesser General Public
%% License as published by the Free Software Foundation; either
%% version 2 of the License, or (at your option) any later
robertoaloi /
Created Feb 8, 2014
Kill an Erlang process by node name
#!/usr/bin/env bash
# Kill an Erlang process by node name
# e.g.: kill-erlang-node kred
# Check usage
if [ -z "$1" ]; then
echo "Usage: `basename $0` NODE_NAME"
exit 1
piscisaureus /
Created Aug 13, 2012
Checkout github pull requests locally

Locate the section for your github remote in the .git/config file. It looks like this:

[remote "origin"]
	fetch = +refs/heads/*:refs/remotes/origin/*
	url =

Now add the line fetch = +refs/pull/*/head:refs/remotes/origin/pr/* to this section. Obviously, change the github url to match your project's URL. It ends up looking like this: