mirror of
https://gitflic.ru/project/openide/openide.git
synced 2025-12-13 15:52:01 +07:00
af803fcff5
Co-authored-by: Konstantin Nisht <konstantin.nisht@jetbrains.com> Merge-request: IJ-MR-144986 Merged-by: Ilya Kazakevich <ilya.kazakevich@jetbrains.com> GitOrigin-RevId: 631eaf41573f7ae3a0ae337d8a0a88098d3aaf3b
34 lines
638 B
Python
34 lines
638 B
Python
# Script for EEL local execution test
|
|
# 1.prints tty and its size
|
|
# 2.waits for command exit (exit 0) or sleep (sleep 10_000)
|
|
# 3. installs signal for SIGINT to return 42
|
|
import os
|
|
import signal
|
|
import sys
|
|
from time import sleep
|
|
|
|
|
|
def exit_42(*_):
|
|
exit(42)
|
|
|
|
|
|
signal.signal(signal.SIGINT, exit_42)
|
|
|
|
is_tty = sys.stdin.isatty()
|
|
terminal_size = None
|
|
|
|
try:
|
|
terminal_size = os.get_terminal_size()
|
|
except OSError:
|
|
pass
|
|
|
|
print(f"tty:{is_tty}, size:{terminal_size}")
|
|
sys.stdout.flush()
|
|
command = input().strip()
|
|
if command == "exit":
|
|
exit(0)
|
|
elif command == "sleep":
|
|
print("sleeping")
|
|
sys.stdout.flush()
|
|
sleep(10_000)
|