mojo/tools/mojosh.sh

   1 #!/bin/bash
   2 # Copyright 2014 The Chromium Authors. All rights reserved.
   3 # Use of this source code is governed by a BSD-style license that can be
   4 # found in the LICENSE file.
   5
   6 # This a simple script to make running Mojo shell easier (on Linux).
   7
   8 DIRECTORY="$(dirname "$0")"/../../out/Debug
   9 PORT=$(($RANDOM % 8192 + 2000))
  10
  11 do_help() {
  12   cat << EOF
  13 Usage: $(basename "$0") [-d DIRECTORY] [-|--] <mojo_shell arguments ...>
  14
  15 DIRECTORY defaults to $DIRECTORY.
  16
  17 Example:
  18   $(basename "$0") mojo:mojo_sample_app
  19 EOF
  20 }
  21
  22 while [ $# -gt 0 ]; do
  23   case "$1" in
  24     -h|--help)
  25       do_help
  26       exit 0
  27       ;;
  28     -d)
  29       shift
  30       if [ $# -eq 0 ]; then
  31         do_help
  32         exit 1
  33       fi
  34       DIRECTORY="$1"
  35       ;;
  36     --show-bash-alias)
  37       echo alias\ mojosh\=\'\"\$\(pwd\ \|\ sed\ \'\"\'\"\'s\/\\\(\.\*\\\/src\\\
  38 \)\.\*\/\\1\/\'\"\'\"\'\)\/mojo\/tools\/mojosh\.sh\"\'
  39       exit 0
  40       ;;
  41     # Separate arguments to mojo_shell (e.g., in case you want to pass it -d).
  42     -|--)
  43       shift
  44       break
  45       ;;
  46     *)
  47       break
  48       ;;
  49   esac
  50   shift
  51 done
  52
  53 echo "Base directory: $DIRECTORY"
  54
  55 echo "Running SimpleHTTPServer in directory $DIRECTORY/lib on port $PORT"
  56 cd $DIRECTORY/lib || exit 1
  57 python -m SimpleHTTPServer $PORT &
  58 HTTPSERVER_PID=$!
  59 cd ..
  60
  61 echo "Running:"
  62 echo "./mojo_shell --origin=http://127.0.0.1:$PORT --disable-cache $*"
  63 ./mojo_shell --origin=http://127.0.0.1:$PORT --disable-cache $*
  64
  65 echo "Killing SimpleHTTPServer ..."
  66 kill $HTTPSERVER_PID
  67 wait $HTTPSERVER_PID