mirror of
https://github.com/xxh/xxh
synced 2024-11-23 20:33:08 +00:00
39 lines
1.1 KiB
Bash
Executable file
39 lines
1.1 KiB
Bash
Executable file
#
|
|
# This entrypoint is to allow xxh getting current environment variables
|
|
# and pass some of them to xxh session to seamless transition to host.
|
|
#
|
|
# Usage in zsh: source xxh.zsh [ordinary xxh arguments]
|
|
#
|
|
|
|
local_xxh_home=~/.xxh
|
|
|
|
eargs=""
|
|
setopt +o nomatch
|
|
for pluginenv_file in $local_xxh_home/xxh/plugins/*-zsh-*/env; do
|
|
if [[ -f $pluginenv_file ]]; then
|
|
plugin_name=$(basename `dirname $pluginenv_file` | tr a-z A-Z | sed 's/-/_/g')
|
|
|
|
if [[ $XXH_VERBOSE == '1' || $XXH_VERBOSE == '2' ]]; then
|
|
echo Load plugin env $pluginenv_file
|
|
fi
|
|
|
|
for l in `cat $pluginenv_file`
|
|
do
|
|
if [[ -v $l ]]; then
|
|
d=`declare -p $l | base64 --wrap=0`
|
|
dd="export $plugin_name"_EXE_"$l=$d"
|
|
ddd=`echo $dd | base64 --wrap=0`
|
|
if [[ $XXH_VERBOSE == '2' ]]; then
|
|
echo Prepare plugin env $pluginenv_file: name=$l, declare=$d
|
|
echo Prepare plugin env $pluginenv_file bash: $dd
|
|
fi
|
|
eargs="$eargs +heb $ddd"
|
|
fi
|
|
done
|
|
fi
|
|
done
|
|
setopt -o nomatch
|
|
|
|
CDIR="$(cd "$(dirname "$0")" && pwd)"
|
|
[ -f $CDIR/xxh ] && xxh=$CDIR/xxh || xxh='xxh'
|
|
$xxh "$@" +s xxh-shell-zsh ${(z)eargs}
|