1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
|
import os
import sys
import time
import asciinema.asciicast.events as ev
from asciinema.term import raw, read_blocking
class Player:
def play(self, asciicast, idle_time_limit=None, speed=1.0):
try:
stdin = open('/dev/tty')
with raw(stdin.fileno()):
self._play(asciicast, idle_time_limit, speed, stdin)
except Exception:
self._play(asciicast, idle_time_limit, speed, None)
def _play(self, asciicast, idle_time_limit, speed, stdin):
idle_time_limit = idle_time_limit or asciicast.idle_time_limit
stdout = asciicast.stdout_events()
stdout = ev.to_relative_time(stdout)
stdout = ev.cap_relative_time(stdout, idle_time_limit)
stdout = ev.to_absolute_time(stdout)
stdout = ev.adjust_speed(stdout, speed)
base_time = time.time()
ctrl_c = False
paused = False
pause_time = None
for t, _type, text in stdout:
delay = t - (time.time() - base_time)
while stdin and not ctrl_c and delay > 0:
if paused:
while True:
data = read_blocking(stdin.fileno(), 1000)
if 0x03 in data: # ctrl-c
ctrl_c = True
break
if 0x20 in data: # space
paused = False
base_time = base_time + (time.time() - pause_time)
break
if 0x2e in data: # period (dot)
delay = 0
pause_time = time.time()
base_time = pause_time - t
break
else:
data = read_blocking(stdin.fileno(), delay)
if not data:
break
if 0x03 in data: # ctrl-c
ctrl_c = True
break
if 0x20 in data: # space
paused = True
pause_time = time.time()
slept = t - (pause_time - base_time)
delay = delay - slept
if ctrl_c:
break
sys.stdout.write(text)
sys.stdout.flush()
|
