#!/bin/bash set -e -o pipefail # Run a command on the target ChromeOS device. # # Usage: target_sh ... target="$1" shift ssh ${target} "$*"