Skip to content

Instantly share code, notes, and snippets.

View awalterschulze's full-sized avatar
🇿🇦
Learning LeanProver

Walter Schulze awalterschulze

🇿🇦
Learning LeanProver
View GitHub Profile
@awalterschulze
awalterschulze / Dockerfile
Created June 16, 2015 12:53
How to download coursera videos
FROM python:2.7.9-wheezy
RUN pip install coursera
RUN pip install --upgrade virtualenv
VOLUME /tmp/
WORKDIR /tmp/
ENTRYPOINT bash
@awalterschulze
awalterschulze / deletealldockers.md
Created June 16, 2015 13:17
Docker: Remove all images and containers
@awalterschulze
awalterschulze / splitpdf.md
Last active August 29, 2015 14:23
Split a PDF file
@awalterschulze
awalterschulze / emailongithub.md
Last active August 29, 2015 14:23
github user email
@awalterschulze
awalterschulze / Dockerfile
Last active August 2, 2018 06:32
How to download edx videos
FROM python:2.7.9-wheezy
RUN git clone https://github.com/shk3/edx-downloader
RUN (cd edx-downloader && pip install -r requirements.txt)
RUN pip install --upgrade youtube_dl
VOLUME /tmp/
WORKDIR /tmp/
ENTRYPOINT bash
@awalterschulze
awalterschulze / AutoChangeEnviron.md
Created August 25, 2015 08:07
Automatically Changing Environments
@awalterschulze
awalterschulze / ProfilingGo.sh
Created August 25, 2015 08:08
Profiling Go
./test.test -test.cpuprofile=x.prof -test.run=XXX -test.bench=MyBenchmark
go tool pprof --svg test.test x.prof > x.svg
@awalterschulze
awalterschulze / bash.profile
Last active February 25, 2016 13:31
My Favourite Aliases
alias s='git status'
alias test='go test -v 2>&1'
alias d='git diff'
alias f='gofmt -w -s -l .'
@awalterschulze
awalterschulze / bash.profile
Created August 25, 2015 08:12
Finding Concurrency Bugs
function repeattest {
go test -c
while [ $? -eq 0 ]; do
GOMAXPROCS=$[ 1 + $[ RANDOM % 100 ]] ./`ls *.test` -test.v $1 2>&1
done
}
<!DOCTYPE HTML><html lang="en-US" prefix="og: http://ogp.me/ns#"><head><link rel="stylesheet" type="text/css" href="https://cdn.n0where.net/wp-content/cache/minify/000000/c455a/default.include.6ddebb.css" media="all" /><script defer type="text/javascript" src="https://cdn.n0where.net/wp-content/cache/minify/000000/c455a/default.include.80798f.js"></script><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" /><meta name="viewport" content="width=device-width, initial-scale=1.0, user-scalable=no"><link rel="shortcut icon" href="https://cdn.n0where.net/wp-content/uploads/2014/03/favicon.gif" /><meta property="og:image" content="https://cdn.n0where.net/wp-content/uploads/2015/06/systemd.jpg" /><title>Understanding Systemd</title><script type="text/javascript">var ajaxurl='https://n0where.net/wp-admin/admin-ajax.php',ap_nonce='63f0fe5e7b',ap_max_tags='5';disable_hover_card=false;</script><meta name="robots" content="noodp,noydir"/><meta name="description" content="Understanding systemd - suite of sy