aboutsummarylogtreecommitdiffstats
path: root/fetch.sh
blob: a6d92e9b4628a361cc88f11edf3298effd8cbb85 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
#!/bin/bash

set -e

if [ -d larryshell ]
then
    cd larryshell
    git pull || echo "Pulled"
else
    git clone git@github.com:Devon-Austin-Wood-Thomas/larryshell larryshell
    cd larryshell
fi
git checkout tags/v$1