Show More
@@ -5,7 +5,7 b' General purpose utilities.' | |||||
5 | This is a grab-bag of stuff I find useful in most programs I write. Some of |
|
5 | This is a grab-bag of stuff I find useful in most programs I write. Some of | |
6 | these things are also convenient when working at the command line. |
|
6 | these things are also convenient when working at the command line. | |
7 |
|
7 | |||
8 |
$Id: genutils.py 24 |
|
8 | $Id: genutils.py 2439 2007-06-14 18:41:48Z vivainio $""" | |
9 |
|
9 | |||
10 | #***************************************************************************** |
|
10 | #***************************************************************************** | |
11 | # Copyright (C) 2001-2006 Fernando Perez. <fperez@colorado.edu> |
|
11 | # Copyright (C) 2001-2006 Fernando Perez. <fperez@colorado.edu> | |
@@ -35,7 +35,7 b' import warnings' | |||||
35 | # Other IPython utilities |
|
35 | # Other IPython utilities | |
36 | import IPython |
|
36 | import IPython | |
37 | from IPython.Itpl import Itpl,itpl,printpl |
|
37 | from IPython.Itpl import Itpl,itpl,printpl | |
38 | from IPython import DPyGetOpt |
|
38 | from IPython import DPyGetOpt, platutils | |
39 | from IPython.generics import result_display |
|
39 | from IPython.generics import result_display | |
40 | from path import path |
|
40 | from path import path | |
41 | if os.name == "nt": |
|
41 | if os.name == "nt": | |
@@ -324,8 +324,11 b" def shell(cmd,verbose=0,debug=0,header=''):" | |||||
324 | if verbose or debug: print header+cmd |
|
324 | if verbose or debug: print header+cmd | |
325 | # flush stdout so we don't mangle python's buffering |
|
325 | # flush stdout so we don't mangle python's buffering | |
326 | sys.stdout.flush() |
|
326 | sys.stdout.flush() | |
|
327 | ||||
327 | if not debug: |
|
328 | if not debug: | |
|
329 | platutils.set_term_title("IPy:" + cmd) | |||
328 | os.system(cmd) |
|
330 | os.system(cmd) | |
|
331 | platutils.set_term_title("IPy:" + os.path.basename(os.getcwd())) | |||
329 |
|
332 | |||
330 | # override shell() for win32 to deal with network shares |
|
333 | # override shell() for win32 to deal with network shares | |
331 | if os.name in ('nt','dos'): |
|
334 | if os.name in ('nt','dos'): |
General Comments 0
You need to be logged in to leave comments.
Login now