|  | #!/bin/bash | 
|  | ############################################################################### | 
|  | # Copyright 2015 Google Inc. | 
|  | # | 
|  | # Use of this source code is governed by a BSD-style license that can be | 
|  | # found in the LICENSE file. | 
|  | ############################################################################### | 
|  | # | 
|  | # Copies a single file from the host to the device. | 
|  | # | 
|  | set -x -e | 
|  |  | 
|  | SCRIPT_DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )" | 
|  | source $SCRIPT_DIR/ios_setup.sh | 
|  |  | 
|  | HOST_PATH=$1 | 
|  | DEVICE_PATH=$2 | 
|  |  | 
|  | ios_push $HOST_PATH $DEVICE_PATH |