diff --git a/bin/install-to-exe.sh b/bin/install-to-exe.sh new file mode 100755 index 0000000000000000000000000000000000000000..077573dd5fd8dda7b7d6fd45d114443ecba00af1 --- /dev/null +++ b/bin/install-to-exe.sh @@ -0,0 +1,12 @@ +#!/bin/bash +set -e + +host="$1" +[[ -z "$host" ]] && { + echo "usage: $0 " + exit 1 +} +[[ "$host" != *.* ]] && host="$host.exe.xyz" + +make build-linux-x86 +cat bin/shelley-linux-x86 | ssh "$host" "sudo mv /usr/local/bin/shelley /usr/local/bin/shelley.old; sudo tee /usr/local/bin/shelley > /dev/null && sudo chmod +x /usr/local/bin/shelley && sudo systemctl restart shelley"