Skip to content

Instantly share code, notes, and snippets.

function fib(n: nat): nat {
if n == 0 || n == 1 then 1 else fib(n-1) + fib(n - 2)
}
@seanmcl
seanmcl / gist:bf70d08e65a84632345a
Created July 17, 2014 19:01
Driver devicemapper failed to create image rootfs
Somehow, docker was hosed on my centos system. I couldn't run 'docker pull' due to the above error.
$ sudo service docker stop
$ sudo rm -rf /var/lib/docker
fixed the problem.