diff options
Diffstat (limited to 'standalone/linux/runshell')
-rwxr-xr-x | standalone/linux/runshell | 48 |
1 files changed, 48 insertions, 0 deletions
diff --git a/standalone/linux/runshell b/standalone/linux/runshell new file mode 100755 index 000000000..da26cd3ba --- /dev/null +++ b/standalone/linux/runshell @@ -0,0 +1,48 @@ +#!/bin/sh +# Runs a shell command (or interactive shell) using the binaries and +# libraries bundled with this app. + +set -e + +base="$(dirname $0)" + +if [ ! -d "$base" ]; then + echo "** cannot find base directory (I seem to be $0)" >&2 + exit 1 +fi + +if [ ! -e "$base/bin/git-annex" ]; then + echo "** base directory $base does not contain bin/git-annex" >&2 + exit 1 +fi +if [ ! -e "$base/bin/git" ]; then + echo "** base directory $base does not contain bin/git" >&2 + exit 1 +fi + +# Get absolute path to base, to avoid breakage when things change directories. +orig="$(pwd)" +cd "$base" +base="$(pwd)" +cd "$orig" + +# Put our binaries first, to avoid issues with out of date or incompatable +# system binaries. +PATH=$base/bin:$PATH +export PATH + +for lib in $(cat $base/libdirs); do + LD_LIBRARY_PATH="$base/$lib:$LD_LIBRARY_PATH" +done +export LD_LIBRARY_PATH + +GIT_EXEC_PATH=$base/git-core +export GIT_EXEC_PATH + +if [ "$1" ]; then + cmd="$1" + shift 1 + exec "$cmd" "$@" +else + $SHELL +fi |