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

Side by Side Diff: mojo/tools/mojo_shell.py

Issue 1241263009: Rename shell runner and debugger -> mojo_run, mojo_debug. (Closed) Base URL: git@github.com:domokit/mojo.git@master
Patch Set: Created 5 years, 5 months 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/devtools/common/mojo_shell ('k') | no next file » | no next file with comments »
Toggle Intra-line Diffs ('i') | Expand Comments ('e') | Collapse Comments ('c') | Show Comments Hide Comments ('s')
OLDNEW
1 #!/usr/bin/env python 1 #!/usr/bin/env python
2 # Copyright 2014 The Chromium Authors. All rights reserved. 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 3 # Use of this source code is governed by a BSD-style license that can be
4 # found in the LICENSE file. 4 # found in the LICENSE file.
5 5
6 import sys 6 import sys
7 7
8 8
9 def main(): 9 def main():
10 print 'Good news, the shell runner has moved! Please use: ' 10 print 'Good news, the shell runner has moved! Please use: '
11 print '' 11 print ''
12 print ' mojo/devtools/common/mojo_shell' 12 print ' mojo/devtools/common/mojo_run'
13 print '' 13 print ''
14 print 'as you would use mojo_shell.py before.' 14 print 'as you would use mojo_shell.py before.'
15 return -1 15 return -1
16 16
17 if __name__ == "__main__": 17 if __name__ == "__main__":
18 sys.exit(main()) 18 sys.exit(main())
OLDNEW
« no previous file with comments | « mojo/devtools/common/mojo_shell ('k') | no next file » | no next file with comments »

Powered by Google App Engine
This is Rietveld 408576698