Bogdan Caprita | c7e72b6 | 2015-01-07 19:22:23 -0800 | [diff] [blame] | 1 | #!/bin/bash |
Jiri Simsa | d7616c9 | 2015-03-24 23:44:30 -0700 | [diff] [blame] | 2 | # Copyright 2015 The Vanadium Authors. All rights reserved. |
| 3 | # Use of this source code is governed by a BSD-style |
| 4 | # license that can be found in the LICENSE file. |
Bogdan Caprita | c7e72b6 | 2015-01-07 19:22:23 -0800 | [diff] [blame] | 5 | # |
| 6 | # Administers a device manager installation. |
| 7 | # |
| 8 | # This script is a thin wrapper on top of the deviced commands. Its main |
Robert Kroeger | f639a41 | 2015-02-09 17:54:12 -0800 | [diff] [blame] | 9 | # purpose is to set up the installation by fetching the binaries required for a |
Bogdan Caprita | c7e72b6 | 2015-01-07 19:22:23 -0800 | [diff] [blame] | 10 | # device manager installation from a few possible sources and setting up the |
| 11 | # setuid helper. |
| 12 | |
| 13 | set -e |
| 14 | |
| 15 | usage() { |
| 16 | echo "usage:" |
| 17 | echo |
| 18 | echo "Install device manager:" |
Bogdan Caprita | d7b3047 | 2015-04-01 17:04:12 -0700 | [diff] [blame] | 19 | echo "V23_DEVICE_DIR=<installation dir> ./devicex install [<binary source>] [ args for installer... ] [ -- args for device manager...]" |
Bogdan Caprita | c7e72b6 | 2015-01-07 19:22:23 -0800 | [diff] [blame] | 20 | echo " Possible values for <binary source>:" |
| 21 | echo " unspecified: get binaries from local repository" |
| 22 | echo " /path/to/binaries: get binaries from local filesystem" |
| 23 | echo " http://host/path: get binaries from HTTP server" |
| 24 | echo |
| 25 | echo "Uninstall device manager:" |
Bogdan Caprita | d7b3047 | 2015-04-01 17:04:12 -0700 | [diff] [blame] | 26 | echo "V23_DEVICE_DIR=<installation dir> ./devicex uninstall" |
Bogdan Caprita | c7e72b6 | 2015-01-07 19:22:23 -0800 | [diff] [blame] | 27 | echo |
| 28 | echo "Start device manager:" |
Bogdan Caprita | d7b3047 | 2015-04-01 17:04:12 -0700 | [diff] [blame] | 29 | echo "V23_DEVICE_DIR=<installation dir> ./devicex start" |
Bogdan Caprita | c7e72b6 | 2015-01-07 19:22:23 -0800 | [diff] [blame] | 30 | echo |
| 31 | echo "Stop device manager:" |
Bogdan Caprita | d7b3047 | 2015-04-01 17:04:12 -0700 | [diff] [blame] | 32 | echo "V23_DEVICE_DIR=<installation dir> ./devicex stop" |
| 33 | echo "V23_DEVICE_DIR should be 0711 when running in multi-user" |
Robert Kroeger | 38cc2d8 | 2015-02-09 17:54:12 -0800 | [diff] [blame] | 34 | echo "mode and all of its parents directories need to be at least" |
| 35 | echo "0511." |
Bogdan Caprita | c7e72b6 | 2015-01-07 19:22:23 -0800 | [diff] [blame] | 36 | } |
| 37 | |
Bogdan Caprita | c8b29da | 2015-02-26 19:24:08 -0800 | [diff] [blame] | 38 | ############################################################################### |
| 39 | # Wrapper around chown that works differently on Mac and Linux |
| 40 | # Arguments: |
| 41 | # arguments to chown command |
| 42 | # Returns: |
| 43 | # None |
| 44 | ############################################################################### |
| 45 | portable_chown() { |
| 46 | case "$(uname)" in |
| 47 | "Darwin") |
| 48 | sudo /usr/sbin/chown "$@" |
| 49 | ;; |
| 50 | "Linux") |
| 51 | sudo chown "$@" |
| 52 | ;; |
| 53 | esac |
| 54 | } |
| 55 | |
| 56 | ############################################################################### |
| 57 | # Sets up the target to be owned by root with the suid bit on. |
| 58 | # Arguments: |
| 59 | # path to target |
| 60 | # Returns: |
| 61 | # None |
| 62 | ############################################################################### |
| 63 | make_suid() { |
| 64 | local -r target="$1" |
| 65 | local root_group="root" |
| 66 | if [[ "$(uname)" == "Darwin" ]]; then |
| 67 | # Group root not available on Darwin. |
| 68 | root_group="wheel" |
| 69 | fi |
| 70 | portable_chown "root:${root_group}" "${target}" |
| 71 | sudo chmod 4551 "${target}" |
| 72 | } |
| 73 | |
| 74 | ############################################################################### |
Bogdan Caprita | d7b3047 | 2015-04-01 17:04:12 -0700 | [diff] [blame] | 75 | # Runs a command as the device manager user. Assumes V23_DEVICE_DIR exists |
Bogdan Caprita | c8b29da | 2015-02-26 19:24:08 -0800 | [diff] [blame] | 76 | # and gets the device manager user from the owner of that directory. |
| 77 | # Globals: |
Bogdan Caprita | d7b3047 | 2015-04-01 17:04:12 -0700 | [diff] [blame] | 78 | # V23_DEVICE_DIR |
Bogdan Caprita | c8b29da | 2015-02-26 19:24:08 -0800 | [diff] [blame] | 79 | # Arguments: |
| 80 | # command to run and its arguments |
| 81 | # Returns: |
| 82 | # None |
| 83 | ############################################################################### |
| 84 | run() { |
| 85 | local -r devmgr_user=$(getdevowner) |
| 86 | if [[ "${devmgr_user}" == $(whoami) ]]; then |
| 87 | "$@" |
Robert Kroeger | ac7f57b | 2015-07-28 17:56:13 -0700 | [diff] [blame] | 88 | elif [[ "$(uname)" == "Darwin" ]]; then |
| 89 | # We use su -u on Darwin because Darwin su is different from Linux su |
| 90 | # and is not found in GCE or EC2 images. |
| 91 | sudo -u "${devmgr_user}" \ |
| 92 | V23_NAMESPACE="${V23_NAMESPACE}" \ |
| 93 | V23_DEVICE_DIR="${V23_DEVICE_DIR}" \ |
| 94 | "$@" |
| 95 | else |
Arup Mukherjee | c2bcb56 | 2015-06-16 14:57:24 -0700 | [diff] [blame] | 96 | # We use sudo/su rather than just sudo -u because the latter is often |
| 97 | # set up to require a password in common GCE and EC2 images. |
| 98 | sudo V23_NAMESPACE="${V23_NAMESPACE}" V23_DEVICE_DIR="${V23_DEVICE_DIR}" \ |
| 99 | su "${devmgr_user}" -s /bin/bash -c \ |
| 100 | "$*" |
Bogdan Caprita | c8b29da | 2015-02-26 19:24:08 -0800 | [diff] [blame] | 101 | fi |
| 102 | } |
| 103 | |
Bogdan Caprita | 29a3b35 | 2015-01-16 16:28:49 -0800 | [diff] [blame] | 104 | readonly BIN_NAMES=(deviced suidhelper agentd inithelper) |
Bogdan Caprita | c7e72b6 | 2015-01-07 19:22:23 -0800 | [diff] [blame] | 105 | |
| 106 | ############################################################################### |
| 107 | # Copies one binary from source to destination. |
| 108 | # Arguments: |
| 109 | # name of the binary |
| 110 | # source dir of binary |
| 111 | # destination dir of binary |
| 112 | # Returns: |
| 113 | # None |
| 114 | ############################################################################### |
| 115 | copy_binary() { |
| 116 | local -r BIN_NAME="$1" |
| 117 | local -r BIN_SRC_DIR="$2" |
| 118 | local -r BIN_DEST_DIR="$3" |
| 119 | local -r SOURCE="${BIN_SRC_DIR}/${BIN_NAME}" |
| 120 | if [[ -x "${SOURCE}" ]]; then |
| 121 | local -r DESTINATION="${BIN_DEST_DIR}/${BIN_NAME}" |
| 122 | cp "${SOURCE}" "${DESTINATION}" |
| 123 | chmod 700 "${DESTINATION}" |
| 124 | else |
| 125 | echo "couldn't find ${SOURCE}" |
| 126 | exit 1 |
| 127 | fi |
| 128 | } |
| 129 | |
| 130 | ############################################################################### |
| 131 | # Fetches binaries needed by device manager installation. |
| 132 | # Globals: |
| 133 | # BIN_NAMES |
Jiri Simsa | 32f76fb | 2015-04-07 15:39:23 -0700 | [diff] [blame] | 134 | # V23_ROOT |
Bogdan Caprita | c7e72b6 | 2015-01-07 19:22:23 -0800 | [diff] [blame] | 135 | # Arguments: |
| 136 | # destination for binaries |
| 137 | # source of binaries |
| 138 | # Returns: |
| 139 | # None |
| 140 | ############################################################################### |
| 141 | get_binaries() { |
| 142 | local -r BIN_INSTALL="$1" |
| 143 | local -r BIN_SOURCE="$2" |
| 144 | |
| 145 | local bin_names_str="" |
| 146 | for bin_name in "${BIN_NAMES[@]}"; do |
| 147 | bin_names_str+=" ${bin_name}" |
| 148 | done |
| 149 | |
| 150 | # If source is not specified, try to look for it in the repository. |
| 151 | if [[ -z "${BIN_SOURCE}" ]]; then |
Jiri Simsa | 32f76fb | 2015-04-07 15:39:23 -0700 | [diff] [blame] | 152 | if [[ -z "${V23_ROOT}" ]]; then |
Bogdan Caprita | c7e72b6 | 2015-01-07 19:22:23 -0800 | [diff] [blame] | 153 | echo 'ERROR: binary source not specified and no local repository available' |
| 154 | exit 1 |
| 155 | fi |
Jiri Simsa | 32f76fb | 2015-04-07 15:39:23 -0700 | [diff] [blame] | 156 | local -r REPO_BIN_DIR="${V23_ROOT}/release/go/bin" |
Bogdan Caprita | c7e72b6 | 2015-01-07 19:22:23 -0800 | [diff] [blame] | 157 | echo "Fetching binaries:${bin_names_str} from build repository: ${REPO_BIN_DIR} ..." |
| 158 | for bin_name in "${BIN_NAMES[@]}"; do |
| 159 | copy_binary "${bin_name}" "${REPO_BIN_DIR}" "${BIN_INSTALL}" |
| 160 | done |
| 161 | return |
| 162 | fi |
| 163 | |
| 164 | # If the source is specified as an existing local filesystem path, |
| 165 | # look for the binaries there. |
| 166 | if [[ -d "${BIN_SOURCE}" ]]; then |
| 167 | echo "Fetching binaries:${bin_names_str} locally from: ${BIN_SOURCE} ..." |
| 168 | for bin_name in "${BIN_NAMES[@]}"; do |
| 169 | copy_binary "${bin_name}" "${BIN_SOURCE}" "${BIN_INSTALL}" |
| 170 | done |
| 171 | return |
| 172 | fi |
| 173 | |
| 174 | # If the source looks like a URL, use HTTP to fetch. |
| 175 | local -r URL_REGEXP='^(https?|ftp|file)://' |
| 176 | if [[ "${BIN_SOURCE}" =~ ${URL_REGEXP} ]]; then |
| 177 | echo "Fetching binaries:${bin_names_str} remotely from: ${BIN_SOURCE} ..." |
| 178 | for bin_name in "${BIN_NAMES[@]}"; do |
| 179 | local DEST="${BIN_INSTALL}/${bin_name}" |
| 180 | curl -f -o "${DEST}" "${BIN_SOURCE}/${bin_name}" |
| 181 | chmod 700 "${DEST}" |
| 182 | done |
| 183 | return |
| 184 | fi |
| 185 | |
| 186 | echo 'ERROR: couldn'"'"'t fetch binaries.' |
| 187 | exit 1 |
| 188 | } |
| 189 | |
| 190 | ############################################################################### |
| 191 | # Installs device manager: fetches binaries, configures suidhelper, calls the |
Bogdan Caprita | 2aa65e9 | 2015-02-13 11:02:57 -0800 | [diff] [blame] | 192 | # install command on deviced. |
Bogdan Caprita | c7e72b6 | 2015-01-07 19:22:23 -0800 | [diff] [blame] | 193 | # Globals: |
Bogdan Caprita | d7b3047 | 2015-04-01 17:04:12 -0700 | [diff] [blame] | 194 | # V23_DEVICE_DIR |
Bogdan Caprita | c7e72b6 | 2015-01-07 19:22:23 -0800 | [diff] [blame] | 195 | # Arguments: |
| 196 | # source of binaries (optional) |
Bogdan Caprita | 2aa65e9 | 2015-02-13 11:02:57 -0800 | [diff] [blame] | 197 | # args for install command and for device manager (optional) |
Bogdan Caprita | c7e72b6 | 2015-01-07 19:22:23 -0800 | [diff] [blame] | 198 | # Returns: |
| 199 | # None |
| 200 | ############################################################################### |
| 201 | install() { |
Bogdan Caprita | d7b3047 | 2015-04-01 17:04:12 -0700 | [diff] [blame] | 202 | if [[ -e "${V23_DEVICE_DIR}" ]]; then |
| 203 | echo "${V23_DEVICE_DIR} already exists!" |
Bogdan Caprita | c7e72b6 | 2015-01-07 19:22:23 -0800 | [diff] [blame] | 204 | exit 1 |
| 205 | fi |
Ken Ashcraft | 9ec1adb | 2015-07-06 14:34:42 -0700 | [diff] [blame] | 206 | mkdir -p -m 711 "${V23_DEVICE_DIR}" |
Bogdan Caprita | d7b3047 | 2015-04-01 17:04:12 -0700 | [diff] [blame] | 207 | local -r BIN_INSTALL="${V23_DEVICE_DIR}/bin" |
Bogdan Caprita | c7e72b6 | 2015-01-07 19:22:23 -0800 | [diff] [blame] | 208 | mkdir -m 700 "${BIN_INSTALL}" |
| 209 | |
| 210 | # Fetch the binaries. |
| 211 | if [[ $# = 0 || "$1" == --* ]]; then |
| 212 | local -r BIN_SOURCE="" |
| 213 | else |
| 214 | local -r BIN_SOURCE="$1" |
| 215 | shift |
| 216 | fi |
| 217 | get_binaries "${BIN_INSTALL}" "${BIN_SOURCE}" |
| 218 | for bin_name in "${BIN_NAMES[@]}"; do |
| 219 | local BINARY="${BIN_INSTALL}/${bin_name}" |
| 220 | if [[ ! -s "${BINARY}" ]]; then |
| 221 | echo "${BINARY} is empty." |
| 222 | exit 1 |
| 223 | fi |
| 224 | done |
| 225 | echo "Binaries are in ${BIN_INSTALL}." |
| 226 | |
| 227 | # Set up the suidhelper. |
Bogdan Caprita | 29a3b35 | 2015-01-16 16:28:49 -0800 | [diff] [blame] | 228 | echo "Configuring helpers ..." |
Bogdan Caprita | c7e72b6 | 2015-01-07 19:22:23 -0800 | [diff] [blame] | 229 | local SINGLE_USER=false |
Bogdan Caprita | 29a3b35 | 2015-01-16 16:28:49 -0800 | [diff] [blame] | 230 | local INIT_MODE=false |
Robert Kroeger | f639a41 | 2015-02-09 17:54:12 -0800 | [diff] [blame] | 231 | local DEVMGR_USER=$(whoami) |
Bogdan Caprita | c7e72b6 | 2015-01-07 19:22:23 -0800 | [diff] [blame] | 232 | for ARG in $*; do |
| 233 | if [[ ${ARG} = "--" ]]; then |
| 234 | break |
Bogdan Caprita | 29a3b35 | 2015-01-16 16:28:49 -0800 | [diff] [blame] | 235 | elif [[ ${ARG} = "--single_user" || ${ARG} = "--single_user=true" ]]; then |
Bogdan Caprita | c7e72b6 | 2015-01-07 19:22:23 -0800 | [diff] [blame] | 236 | SINGLE_USER=true |
Bogdan Caprita | 29a3b35 | 2015-01-16 16:28:49 -0800 | [diff] [blame] | 237 | elif [[ ${ARG} = "--init_mode" || ${ARG} = "--init_mode=true" ]]; then |
| 238 | INIT_MODE=true |
Robert Kroeger | f639a41 | 2015-02-09 17:54:12 -0800 | [diff] [blame] | 239 | elif [[ ${ARG} =~ --devuser=(.*) ]]; then |
| 240 | DEVMGR_USER="${BASH_REMATCH[1]}" |
Bogdan Caprita | c7e72b6 | 2015-01-07 19:22:23 -0800 | [diff] [blame] | 241 | fi |
| 242 | done |
Robert Kroeger | f639a41 | 2015-02-09 17:54:12 -0800 | [diff] [blame] | 243 | |
| 244 | if [[ ${SINGLE_USER} == false && ${DEVMGR_USER} == $(whoami) ]]; then |
| 245 | echo "Running in multi-user mode requires a --devuser=<user>" |
| 246 | echo "argument. This limits the following unfortunate chain of events:" |
| 247 | echo "install the device manager as yourself, associate an external blessee" |
| 248 | echo "with your local user name and the external blessee can invoke an app" |
| 249 | echo "which, because it has the same system name as the device manager," |
| 250 | echo "can use suidhelper to give itself root priviledge." |
| 251 | exit 1 |
| 252 | fi |
| 253 | if [[ ${SINGLE_USER}} == true && ${DEVMGR_USER} != $(whoami) ]]; then |
| 254 | echo "The --devuser flag is unnecessary in single-user mode because" |
| 255 | echo "all processes run as $(whoami)." |
| 256 | exit 1 |
| 257 | fi |
Bogdan Caprita | 29a3b35 | 2015-01-16 16:28:49 -0800 | [diff] [blame] | 258 | local -r SETUID_SCRIPT="${BIN_INSTALL}/suidhelper" |
Bogdan Caprita | c7e72b6 | 2015-01-07 19:22:23 -0800 | [diff] [blame] | 259 | if [[ ${SINGLE_USER} == false ]]; then |
Robert Kroeger | 408c90e | 2015-04-20 16:44:18 -0700 | [diff] [blame] | 260 | portable_chown -R "${DEVMGR_USER}:bin" "${V23_DEVICE_DIR}" |
Bogdan Caprita | c8b29da | 2015-02-26 19:24:08 -0800 | [diff] [blame] | 261 | make_suid "${SETUID_SCRIPT}" |
Bogdan Caprita | c7e72b6 | 2015-01-07 19:22:23 -0800 | [diff] [blame] | 262 | fi |
Bogdan Caprita | 29a3b35 | 2015-01-16 16:28:49 -0800 | [diff] [blame] | 263 | local -r INIT_SCRIPT="${BIN_INSTALL}/inithelper" |
| 264 | if [[ ${INIT_MODE} == true ]]; then |
Bogdan Caprita | c8b29da | 2015-02-26 19:24:08 -0800 | [diff] [blame] | 265 | make_suid "${INIT_SCRIPT}" |
Bogdan Caprita | 29a3b35 | 2015-01-16 16:28:49 -0800 | [diff] [blame] | 266 | fi |
| 267 | echo "Helpers configured." |
Bogdan Caprita | c7e72b6 | 2015-01-07 19:22:23 -0800 | [diff] [blame] | 268 | |
| 269 | # Install the device manager. |
Bogdan Caprita | d7b3047 | 2015-04-01 17:04:12 -0700 | [diff] [blame] | 270 | echo "Installing device manager under ${V23_DEVICE_DIR} ..." |
| 271 | echo "V23_DEVICE_DIR=${V23_DEVICE_DIR}" |
Bogdan Caprita | c8b29da | 2015-02-26 19:24:08 -0800 | [diff] [blame] | 272 | run "${BIN_INSTALL}/deviced" install \ |
| 273 | --suid_helper="${SETUID_SCRIPT}" \ |
| 274 | --agent="${BIN_INSTALL}/agentd" \ |
| 275 | --init_helper="${INIT_SCRIPT}" "$@" |
Bogdan Caprita | c7e72b6 | 2015-01-07 19:22:23 -0800 | [diff] [blame] | 276 | echo "Device manager installed." |
| 277 | } |
| 278 | |
| 279 | ############################################################################### |
Robert Kroeger | f639a41 | 2015-02-09 17:54:12 -0800 | [diff] [blame] | 280 | # Determines the owner of the device manager |
| 281 | # Globals: |
Bogdan Caprita | d7b3047 | 2015-04-01 17:04:12 -0700 | [diff] [blame] | 282 | # V23_DEVICE_DIR |
Robert Kroeger | f639a41 | 2015-02-09 17:54:12 -0800 | [diff] [blame] | 283 | # Arguments: |
| 284 | # None |
| 285 | # Returns: |
| 286 | # user owning the device manager |
| 287 | ############################################################################### |
| 288 | getdevowner() { |
Bogdan Caprita | 5da14c9 | 2015-02-25 16:36:58 -0800 | [diff] [blame] | 289 | case "$(uname)" in |
| 290 | "Darwin") |
Bogdan Caprita | d7b3047 | 2015-04-01 17:04:12 -0700 | [diff] [blame] | 291 | ls -dl "${V23_DEVICE_DIR}" | awk '{print $3}' |
Bogdan Caprita | 5da14c9 | 2015-02-25 16:36:58 -0800 | [diff] [blame] | 292 | ;; |
| 293 | "Linux") |
Bogdan Caprita | d7b3047 | 2015-04-01 17:04:12 -0700 | [diff] [blame] | 294 | stat -c "%U" "${V23_DEVICE_DIR}" |
Bogdan Caprita | 5da14c9 | 2015-02-25 16:36:58 -0800 | [diff] [blame] | 295 | ;; |
| 296 | esac |
Robert Kroeger | f639a41 | 2015-02-09 17:54:12 -0800 | [diff] [blame] | 297 | } |
| 298 | |
| 299 | ############################################################################### |
Bogdan Caprita | c7e72b6 | 2015-01-07 19:22:23 -0800 | [diff] [blame] | 300 | # Uninstalls device manager: calls the uninstall command of deviced and removes |
| 301 | # the installation. |
| 302 | # Globals: |
Bogdan Caprita | d7b3047 | 2015-04-01 17:04:12 -0700 | [diff] [blame] | 303 | # V23_DEVICE_DIR |
Bogdan Caprita | c7e72b6 | 2015-01-07 19:22:23 -0800 | [diff] [blame] | 304 | # Arguments: |
| 305 | # None |
| 306 | # Returns: |
| 307 | # None |
| 308 | ############################################################################### |
| 309 | uninstall() { |
Bogdan Caprita | d7b3047 | 2015-04-01 17:04:12 -0700 | [diff] [blame] | 310 | if [[ ! -d "${V23_DEVICE_DIR}" ]]; then |
| 311 | echo "${V23_DEVICE_DIR} does not exist or is not a directory!" |
Bogdan Caprita | c7e72b6 | 2015-01-07 19:22:23 -0800 | [diff] [blame] | 312 | exit 1 |
| 313 | fi |
Bogdan Caprita | d7b3047 | 2015-04-01 17:04:12 -0700 | [diff] [blame] | 314 | local -r BIN_INSTALL="${V23_DEVICE_DIR}/bin" |
Robert Kroeger | 38cc2d8 | 2015-02-09 17:54:12 -0800 | [diff] [blame] | 315 | local -r SETUID_SCRIPT="${BIN_INSTALL}/suidhelper" |
Bogdan Caprita | d7b3047 | 2015-04-01 17:04:12 -0700 | [diff] [blame] | 316 | echo "Uninstalling device manager from ${V23_DEVICE_DIR} ..." |
Bogdan Caprita | c8b29da | 2015-02-26 19:24:08 -0800 | [diff] [blame] | 317 | run "${BIN_INSTALL}/deviced" uninstall \ |
| 318 | --suid_helper="${SETUID_SCRIPT}" |
Robert Kroeger | f639a41 | 2015-02-09 17:54:12 -0800 | [diff] [blame] | 319 | |
Bogdan Caprita | c7e72b6 | 2015-01-07 19:22:23 -0800 | [diff] [blame] | 320 | echo "Device manager uninstalled." |
Bogdan Caprita | d7b3047 | 2015-04-01 17:04:12 -0700 | [diff] [blame] | 321 | # Any data created underneath "${V23_DEVICE_DIR}" by the "deviced |
Bogdan Caprita | c7e72b6 | 2015-01-07 19:22:23 -0800 | [diff] [blame] | 322 | # install" command would have been cleaned up already by "deviced uninstall". |
Bogdan Caprita | d7b3047 | 2015-04-01 17:04:12 -0700 | [diff] [blame] | 323 | # However, install() created "${V23_DEVICE_DIR}", so uninstall() needs |
Bogdan Caprita | c7e72b6 | 2015-01-07 19:22:23 -0800 | [diff] [blame] | 324 | # to remove it (as well as data created by install(), like bin/*). |
Robert Kroeger | f639a41 | 2015-02-09 17:54:12 -0800 | [diff] [blame] | 325 | |
Bogdan Caprita | d7b3047 | 2015-04-01 17:04:12 -0700 | [diff] [blame] | 326 | run rm -rf "${V23_DEVICE_DIR}/bin" |
| 327 | rmdir "${V23_DEVICE_DIR}" |
| 328 | echo "Removed ${V23_DEVICE_DIR}" |
Bogdan Caprita | c7e72b6 | 2015-01-07 19:22:23 -0800 | [diff] [blame] | 329 | } |
| 330 | |
| 331 | ############################################################################### |
| 332 | # Starts device manager: calls the start command of deviced. |
| 333 | # Globals: |
Bogdan Caprita | d7b3047 | 2015-04-01 17:04:12 -0700 | [diff] [blame] | 334 | # V23_DEVICE_DIR |
Bogdan Caprita | c7e72b6 | 2015-01-07 19:22:23 -0800 | [diff] [blame] | 335 | # Arguments: |
| 336 | # None |
| 337 | # Returns: |
| 338 | # None |
| 339 | ############################################################################### |
| 340 | start() { |
Bogdan Caprita | d7b3047 | 2015-04-01 17:04:12 -0700 | [diff] [blame] | 341 | if [[ ! -d "${V23_DEVICE_DIR}" ]]; then |
| 342 | echo "${V23_DEVICE_DIR} does not exist or is not a directory!" |
Bogdan Caprita | c7e72b6 | 2015-01-07 19:22:23 -0800 | [diff] [blame] | 343 | exit 1 |
| 344 | fi |
Bogdan Caprita | d7b3047 | 2015-04-01 17:04:12 -0700 | [diff] [blame] | 345 | local -r BIN_INSTALL="${V23_DEVICE_DIR}/bin" |
Robert Kroeger | ac7f57b | 2015-07-28 17:56:13 -0700 | [diff] [blame] | 346 | run "${BIN_INSTALL}/deviced" start |
Bogdan Caprita | c7e72b6 | 2015-01-07 19:22:23 -0800 | [diff] [blame] | 347 | } |
| 348 | |
| 349 | ############################################################################### |
| 350 | # Stops device manager: calls the stop command of deviced. |
| 351 | # Globals: |
Bogdan Caprita | d7b3047 | 2015-04-01 17:04:12 -0700 | [diff] [blame] | 352 | # V23_DEVICE_DIR |
Bogdan Caprita | c7e72b6 | 2015-01-07 19:22:23 -0800 | [diff] [blame] | 353 | # Arguments: |
| 354 | # None |
| 355 | # Returns: |
| 356 | # None |
| 357 | ############################################################################### |
| 358 | stop() { |
Bogdan Caprita | d7b3047 | 2015-04-01 17:04:12 -0700 | [diff] [blame] | 359 | if [[ ! -d "${V23_DEVICE_DIR}" ]]; then |
| 360 | echo "${V23_DEVICE_DIR} does not exist or is not a directory!" |
Bogdan Caprita | c7e72b6 | 2015-01-07 19:22:23 -0800 | [diff] [blame] | 361 | exit 1 |
| 362 | fi |
Bogdan Caprita | d7b3047 | 2015-04-01 17:04:12 -0700 | [diff] [blame] | 363 | local -r BIN_INSTALL="${V23_DEVICE_DIR}/bin" |
Bogdan Caprita | c8b29da | 2015-02-26 19:24:08 -0800 | [diff] [blame] | 364 | run "${BIN_INSTALL}/deviced" stop |
Bogdan Caprita | c7e72b6 | 2015-01-07 19:22:23 -0800 | [diff] [blame] | 365 | } |
| 366 | |
| 367 | main() { |
Bogdan Caprita | d7b3047 | 2015-04-01 17:04:12 -0700 | [diff] [blame] | 368 | if [[ -z "${V23_DEVICE_DIR}" ]]; then |
Bogdan Caprita | c7e72b6 | 2015-01-07 19:22:23 -0800 | [diff] [blame] | 369 | echo 'No local device installation dir specified!' |
| 370 | usage |
| 371 | exit 1 |
| 372 | fi |
Bogdan Caprita | d7b3047 | 2015-04-01 17:04:12 -0700 | [diff] [blame] | 373 | if [[ -e "${V23_DEVICE_DIR}" && ! -d "${V23_DEVICE_DIR}" ]]; then |
| 374 | echo "${V23_DEVICE_DIR} is not a directory!" |
Bogdan Caprita | c7e72b6 | 2015-01-07 19:22:23 -0800 | [diff] [blame] | 375 | usage |
| 376 | exit 1 |
| 377 | fi |
| 378 | |
| 379 | if [[ $# = 0 ]]; then |
| 380 | echo 'No command specified!' |
| 381 | usage |
| 382 | exit 1 |
| 383 | fi |
| 384 | local -r COMMAND="$1" |
| 385 | shift |
| 386 | case "${COMMAND}" in |
| 387 | install) |
| 388 | install "$@" |
| 389 | ;; |
| 390 | uninstall) |
| 391 | uninstall |
| 392 | ;; |
| 393 | start) |
| 394 | start |
| 395 | ;; |
| 396 | stop) |
| 397 | stop |
| 398 | ;; |
| 399 | *) |
| 400 | echo "Unrecognized command: ${COMMAND}!" |
| 401 | usage |
| 402 | exit 1 |
| 403 | esac |
| 404 | } |
| 405 | |
| 406 | main "$@" |