terminal.py
129 lines
| 3.3 KiB
| text/x-python
|
PythonLexer
Brian Granger
|
r2498 | # encoding: utf-8 | ||
""" | ||||
Utilities for working with terminals. | ||||
Authors: | ||||
* Brian E. Granger | ||||
* Fernando Perez | ||||
* Alexander Belchenko (e-mail: bialix AT ukr.net) | ||||
""" | ||||
Min RK
|
r22266 | # Copyright (c) IPython Development Team. | ||
# Distributed under the terms of the Modified BSD License. | ||||
Brian Granger
|
r2498 | |||
import os | ||||
import sys | ||||
import warnings | ||||
Srinivas Reddy Thatiparthy
|
r23251 | from shutil import get_terminal_size as _get_terminal_size | ||
Brian Granger
|
r2498 | |||
# This variable is part of the expected API of the module: | ||||
ignore_termtitle = True | ||||
if os.name == 'posix': | ||||
def _term_clear(): | ||||
os.system('clear') | ||||
Matthias Bussonnier
|
r19739 | elif sys.platform == 'win32': | ||
Brian Granger
|
r2498 | def _term_clear(): | ||
os.system('cls') | ||||
Matthias Bussonnier
|
r19739 | else: | ||
def _term_clear(): | ||||
pass | ||||
Brian Granger
|
r2498 | |||
def toggle_set_term_title(val): | ||||
"""Control whether set_term_title is active or not. | ||||
set_term_title() allows writing to the console titlebar. In embedded | ||||
widgets this can cause problems, so this call can be used to toggle it on | ||||
or off as needed. | ||||
The default state of the module is for the function to be disabled. | ||||
Parameters | ||||
---------- | ||||
Matthias Bussonnier
|
r26419 | val : bool | ||
Brian Granger
|
r2498 | If True, set_term_title() actually writes to the terminal (using the | ||
appropriate platform-specific module). If False, it is a no-op. | ||||
""" | ||||
global ignore_termtitle | ||||
ignore_termtitle = not(val) | ||||
def _set_term_title(*args,**kw): | ||||
"""Dummy no-op.""" | ||||
pass | ||||
Георгий Фролов
|
r25194 | def _restore_term_title(): | ||
pass | ||||
Brian Granger
|
r2498 | def _set_term_title_xterm(title): | ||
""" Change virtual terminal title in xterm-workalikes """ | ||||
Георгий Фролов
|
r25194 | # save the current title to the xterm "stack" | ||
sys.stdout.write('\033[22;0t') | ||||
Brian Granger
|
r2498 | sys.stdout.write('\033]0;%s\007' % title) | ||
Георгий Фролов
|
r25194 | |||
def _restore_term_title_xterm(): | ||||
sys.stdout.write('\033[23;0t') | ||||
Brian Granger
|
r2498 | if os.name == 'posix': | ||
TERM = os.environ.get('TERM','') | ||||
Lars Solberg
|
r8358 | if TERM.startswith('xterm'): | ||
Brian Granger
|
r2498 | _set_term_title = _set_term_title_xterm | ||
Георгий Фролов
|
r25194 | _restore_term_title = _restore_term_title_xterm | ||
Matthias Bussonnier
|
r19739 | elif sys.platform == 'win32': | ||
Brian Granger
|
r2498 | try: | ||
import ctypes | ||||
SetConsoleTitleW = ctypes.windll.kernel32.SetConsoleTitleW | ||||
SetConsoleTitleW.argtypes = [ctypes.c_wchar_p] | ||||
def _set_term_title(title): | ||||
"""Set terminal title using ctypes to access the Win32 APIs.""" | ||||
SetConsoleTitleW(title) | ||||
except ImportError: | ||||
def _set_term_title(title): | ||||
"""Set terminal title using the 'title' command.""" | ||||
global ignore_termtitle | ||||
try: | ||||
# Cannot be on network share when issuing system commands | ||||
Srinivas Reddy Thatiparthy
|
r23045 | curr = os.getcwd() | ||
Brian Granger
|
r2498 | os.chdir("C:") | ||
ret = os.system("title " + title) | ||||
finally: | ||||
os.chdir(curr) | ||||
if ret: | ||||
# non-zero return code signals error, don't try again | ||||
ignore_termtitle = True | ||||
def set_term_title(title): | ||||
"""Set terminal title using the necessary platform-dependent calls.""" | ||||
if ignore_termtitle: | ||||
return | ||||
_set_term_title(title) | ||||
Георгий Фролов
|
r25194 | def restore_term_title(): | ||
"""Restore, if possible, terminal title to the original state""" | ||||
if ignore_termtitle: | ||||
return | ||||
_restore_term_title() | ||||
Brian Granger
|
r2498 | def freeze_term_title(): | ||
warnings.warn("This function is deprecated, use toggle_set_term_title()") | ||||
global ignore_termtitle | ||||
ignore_termtitle = True | ||||
Vincent Woo
|
r22150 | def get_terminal_size(defaultx=80, defaulty=25): | ||
Min RK
|
r22266 | return _get_terminal_size((defaultx, defaulty)) | ||