Asger Gitz-Johansen
faf362c607
You can now execute any kind of program in the PATH. You do, however, need to specify "./" if you want to execute a local file, but that shouldn't be too big a problem.
13 lines
343 B
Bash
Executable File
13 lines
343 B
Bash
Executable File
#!/bin/sh
|
|
# NOTE: This script assumes that the url is a .tar.gz file.
|
|
# TODO: check if $# is >= 1 and give a warning that the extract dir should be provided.
|
|
set -ex # print all that we're doing (no need for echo's)
|
|
tmpdir=$(mktemp -d)
|
|
wget "$SCI_PIPELINE_URL" -P "$tmpdir"
|
|
cd "$tmpdir"
|
|
tar xf *.tar.gz
|
|
cd $1
|
|
sh .sci.sh
|
|
cd -
|
|
rm -rf "$tmpdir"
|