Show More
@@ -112,10 +112,8 b' class TerminalInteractiveShell(InteractiveShell):' | |||||
112 | config=config, profile_dir=profile_dir, user_ns=user_ns, |
|
112 | config=config, profile_dir=profile_dir, user_ns=user_ns, | |
113 | user_global_ns=user_global_ns, custom_exceptions=custom_exceptions |
|
113 | user_global_ns=user_global_ns, custom_exceptions=custom_exceptions | |
114 | ) |
|
114 | ) | |
115 |
# use os.system instead of utils.process.system by default, |
|
115 | # use os.system instead of utils.process.system by default, | |
116 | if os.name == 'nt': |
|
116 | # because piped system doesn't make sense in the Terminal: | |
117 | self.system = self.system_piped |
|
|||
118 | else: |
|
|||
119 |
|
|
117 | self.system = self.system_raw | |
120 |
|
118 | |||
121 | self.init_term_title() |
|
119 | self.init_term_title() |
General Comments 0
You need to be logged in to leave comments.
Login now