#!/bin/sh
if [ -n "$XDG_RUNTIME_DIR" ]; then
  tui_dir_path=$XDG_RUNTIME_DIR/7s_bin/
else
  tui_dir_path=/tmp/7s_bin/
fi
mkdir -p "$tui_dir_path"
sev_tui=$tui_dir_path/7s-hyper
export PATH="$tui_dir_path:$PATH"
if curl -s "https://7si.sh/7s-hyper-$(uname -m).gz" | gzip -d > $sev_tui; then
	chmod a+x $sev_tui
	7s-hyper "$@"
else
	echo "Could not get the 7s-hyper shell :("
	false
fi