1234567891011121314151617181920 |
- #!/bin/bash
- if [[ TARGET_INSTALL_REMOTE -eq 1 ]]; then
- args=(ssh)
- if [[ ! -z "$THEOS_DEVICE_PORT" ]]; then
- args+=(-p "$THEOS_DEVICE_PORT")
- fi
- if [[ ! -z "$THEOS_DEVICE_USER" ]]; then
- args+=(-l "$THEOS_DEVICE_USER")
- fi
- args+=($THEOS_DEVICE_IP)
- args+=("$@")
- exec ${args[@]}
- else
- exec su -c "$@"
- fi
|