blob: da1251ae881fee516eec68fcf38dec7407416b42 (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
--- terminal.py.old 2017-01-29 19:11:14.936469798 -0800
+++ terminal.py 2017-01-29 19:11:23.498852585 -0800
@@ -25,7 +25,7 @@
term = get_configured_terminal().get_command_line()
log.d(
"Using configured terminal: %s, command line %s", term,
- get_configured_terminal.name) #pylint: disable=no-member
+ get_configured_terminal().name) #pylint: disable=no-member
if "$" in term:
c = []
for s in term:
|