diff options
| author | makefu <github@syntax-fehler.de> | 2013-12-30 03:50:24 +0100 |
|---|---|---|
| committer | makefu <github@syntax-fehler.de> | 2013-12-30 03:50:24 +0100 |
| commit | b6a98c4b37829a9b85fafaa20df35cdec2045cf2 (patch) | |
| tree | bc9c1322cbb1356918a5019e98f7f3f9127bca66 /ship/src/get_repo | |
| parent | 1763c3967ebc918e758518442b7e086e6c66fafa (diff) | |
| parent | cc538a66dffe40de6bc699363dae4d80ea1aa149 (diff) | |
Merge branch 'master' of ssh://github.com/krebscode/painload
Diffstat (limited to 'ship/src/get_repo')
| -rw-r--r-- | ship/src/get_repo | 22 |
1 files changed, 22 insertions, 0 deletions
diff --git a/ship/src/get_repo b/ship/src/get_repo new file mode 100644 index 00000000..5476e650 --- /dev/null +++ b/ship/src/get_repo @@ -0,0 +1,22 @@ +#!/bin/sh +#@info +#@strict +#@include punani +# Can be overwritten before install + +KREBSDIR=${KREBSDIR:-/krebs} +( is_root || ! test "$KREBSDIR" = "/krebs" ) || die "not running as root, stuff may not work. change KREBSDIR env to bootstrap somewhere else!"; + +info "installing git to clone repo" +punani install git + +[ -e "$KREBSDIR" ] && die "krebs dir already exists" + +git clone --depth 1 https://github.com/krebscode/painload.git "$KREBSDIR" || die "cloning failed :(" + +cd $KREBSDIR || die "cannot change into $KREBSDIR folder:(" ; + +info "installing make" +punani install make + +info "have a nice day" |