#!/usr/bin/env bash
rm -rf /tmp/demo/
echo '$ mkdir /tmp/demo'
mkdir -p /tmp/demo/
echo '$ cd /tmp/demo'
cd /tmp/demo/
echo '$ git init'
git -c colour.ui=always init