Skip to content

Instantly share code, notes, and snippets.

View dresl's full-sized avatar

Dominik Resl dresl

View GitHub Profile
@dresl
dresl / deploy-site.sh
Last active August 16, 2016 11:08 — forked from michaelkuty/deploy-site.sh
Deploy leonardo site
#!/bin/bash -e
pip_install_source()
{
REMOTE=$1
EGG=$2
[ -d ../src ] || mkdir ../src
git clone $REMOTE --depth 1 ../src/$EGG