Watching ttyrec on iPad?

[andrew]

I don't see any ttyrec players in the app store...no surprise.

It occurred to me that the only real solution would be to
convert ttyrec files to something iOS understands, like an MP4
video file.

I found a program called ttyavi which outputs an AVI given a
ttyrec, but it garbled a couple files I tried.

Anyone have other leads/suggestions?

[ais523]

I wrote jettyplay <http://nethack4.org/projects/jettyplay/>, a ttyrec
player written in Java 7; among other things, it can convert a ttyrec to
an AVI (although I recommend setting it to render bold as color,
rendering it with the font can break sometimes depending on the fonts
installed on your system).

I recommend uing ZMBV encoding (it's one of the settings in the
convert-to-video dialog box), which produces much smaller files than
encoding uncompressed, and which the vast majority of video players can
handle.


One other possibility is to install a terminal that does ssh, then ssh
to a separate computer and get it to play back the ttyrec.

--
ais523