Chromium Code Reviews
chromiumcodereview-hr@appspot.gserviceaccount.com (chromiumcodereview-hr) | Please choose your nickname with Settings | Help | Chromium Project | Gerrit Changes | Sign out
(133)

Side by Side Diff: mojo/tools/mojosh.sh

Issue 705703002: Remove mojo/tools/, not needed in chromium (Closed) Base URL: https://chromium.googlesource.com/chromium/src.git@master
Patch Set: remove gyp Created 6 years, 1 month ago
Use n/p to move between diff chunks; N/P to move between comments. Draft comments are only viewable by you.
Jump to:
View unified diff | Download patch
« no previous file with comments | « mojo/tools/mojob.sh ('k') | mojo/tools/package_manager/BUILD.gn » ('j') | no next file with comments »
Toggle Intra-line Diffs ('i') | Expand Comments ('e') | Collapse Comments ('c') | Show Comments Hide Comments ('s')
OLDNEW
(Empty)
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:sample_app
19 EOF
20 }
21
22 kill_http_server() {
23 echo "Killing SimpleHTTPServer ..."
24 kill $HTTP_SERVER_PID
25 wait $HTTP_SERVER_PID
26 }
27
28 while [ $# -gt 0 ]; do
29 case "$1" in
30 -h|--help)
31 do_help
32 exit 0
33 ;;
34 -d)
35 shift
36 if [ $# -eq 0 ]; then
37 do_help
38 exit 1
39 fi
40 DIRECTORY="$1"
41 ;;
42 --show-bash-alias)
43 echo alias\ mojosh\=\'\"\$\(pwd\ \|\ sed\ \'\"\'\"\'s\/\\\(\.\*\\\/src\\\
44 \)\.\*\/\\1\/\'\"\'\"\'\)\/mojo\/tools\/mojosh\.sh\"\'
45 exit 0
46 ;;
47 # Separate arguments to mojo_shell (e.g., in case you want to pass it -d).
48 -|--)
49 shift
50 break
51 ;;
52 *)
53 break
54 ;;
55 esac
56 shift
57 done
58
59 echo "Base directory: $DIRECTORY"
60
61 echo "Running SimpleHTTPServer in directory $DIRECTORY/lib on port $PORT"
62 cd $DIRECTORY/lib || exit 1
63 python -m SimpleHTTPServer $PORT &
64 # Kill the HTTP server on exit (even if the user kills everything using ^C).
65 HTTP_SERVER_PID=$!
66 trap kill_http_server EXIT
67 cd ..
68
69 echo "Running:"
70 echo "./mojo_shell --origin=http://127.0.0.1:$PORT --disable-cache $*"
71 ./mojo_shell --origin=http://127.0.0.1:$PORT --disable-cache $*
OLDNEW
« no previous file with comments | « mojo/tools/mojob.sh ('k') | mojo/tools/package_manager/BUILD.gn » ('j') | no next file with comments »

Powered by Google App Engine
This is Rietveld 408576698