| Index: mojo/tools/mojosh.sh
|
| diff --git a/mojo/tools/mojosh.sh b/mojo/tools/mojosh.sh
|
| deleted file mode 100755
|
| index ee2ba6347fefde70271d96e20eaea0503a3ca4ed..0000000000000000000000000000000000000000
|
| --- a/mojo/tools/mojosh.sh
|
| +++ /dev/null
|
| @@ -1,71 +0,0 @@
|
| -#!/bin/bash
|
| -# Copyright 2014 The Chromium Authors. All rights reserved.
|
| -# Use of this source code is governed by a BSD-style license that can be
|
| -# found in the LICENSE file.
|
| -
|
| -# This a simple script to make running Mojo shell easier (on Linux).
|
| -
|
| -DIRECTORY="$(dirname "$0")"/../../out/Debug
|
| -PORT=$(($RANDOM % 8192 + 2000))
|
| -
|
| -do_help() {
|
| - cat << EOF
|
| -Usage: $(basename "$0") [-d DIRECTORY] [-|--] <mojo_shell arguments ...>
|
| -
|
| -DIRECTORY defaults to $DIRECTORY.
|
| -
|
| -Example:
|
| - $(basename "$0") mojo:sample_app
|
| -EOF
|
| -}
|
| -
|
| -kill_http_server() {
|
| - echo "Killing SimpleHTTPServer ..."
|
| - kill $HTTP_SERVER_PID
|
| - wait $HTTP_SERVER_PID
|
| -}
|
| -
|
| -while [ $# -gt 0 ]; do
|
| - case "$1" in
|
| - -h|--help)
|
| - do_help
|
| - exit 0
|
| - ;;
|
| - -d)
|
| - shift
|
| - if [ $# -eq 0 ]; then
|
| - do_help
|
| - exit 1
|
| - fi
|
| - DIRECTORY="$1"
|
| - ;;
|
| - --show-bash-alias)
|
| - echo alias\ mojosh\=\'\"\$\(pwd\ \|\ sed\ \'\"\'\"\'s\/\\\(\.\*\\\/src\\\
|
| -\)\.\*\/\\1\/\'\"\'\"\'\)\/mojo\/tools\/mojosh\.sh\"\'
|
| - exit 0
|
| - ;;
|
| - # Separate arguments to mojo_shell (e.g., in case you want to pass it -d).
|
| - -|--)
|
| - shift
|
| - break
|
| - ;;
|
| - *)
|
| - break
|
| - ;;
|
| - esac
|
| - shift
|
| -done
|
| -
|
| -echo "Base directory: $DIRECTORY"
|
| -
|
| -echo "Running SimpleHTTPServer in directory $DIRECTORY/lib on port $PORT"
|
| -cd $DIRECTORY/lib || exit 1
|
| -python -m SimpleHTTPServer $PORT &
|
| -# Kill the HTTP server on exit (even if the user kills everything using ^C).
|
| -HTTP_SERVER_PID=$!
|
| -trap kill_http_server EXIT
|
| -cd ..
|
| -
|
| -echo "Running:"
|
| -echo "./mojo_shell --origin=http://127.0.0.1:$PORT --disable-cache $*"
|
| -./mojo_shell --origin=http://127.0.0.1:$PORT --disable-cache $*
|
|
|