2014-12-31 08:58:48 +04:00
|
|
|
#!/bin/bash
|
|
|
|
# -*- coding: utf-8 mode: sh -*- vim:sw=4:sts=4:et:ai:si:sta:fenc=utf-8
|
|
|
|
# wrapper permettant d'utiliser GIT_SSH avec des outils comme git-annex
|
2014-12-31 09:24:02 +04:00
|
|
|
# La variable __UTOOLS_FORCE_PATH doit être définie: c'est la valeur de PATH à
|
|
|
|
# utiliser. La variable __UTOOLS_FORCE_SSH peut être définie: c'est le nom de
|
|
|
|
# l'exécutable à utiliser pour lancer ssh.
|
2014-12-31 08:58:48 +04:00
|
|
|
[ -n "$__UTOOLS_FORCE_PATH" ] && export PATH="$__UTOOLS_FORCE_PATH"
|
2014-12-31 09:24:02 +04:00
|
|
|
[ -n "$__UTOOLS_FORCE_SSH" ] && export GIT_SSH="$__UTOOLS_FORCE_SSH"
|
|
|
|
exec "${__UTOOLS_FORCE_SSH:-ssh}" "$@"
|