unzip the file to get .cast file to reproduce.
Code used.
var terminalDiv = document.createElement("div");
document.body.appendChild(terminalDiv);
let castSrc = "... the src url to the file"
const player = new XtermPlayer.XtermPlayer(castSrc, terminalDiv , {
fontSize: 12
});
player.play();
recording-0.zip
unzip the file to get .cast file to reproduce. Code used.
The top command hides everything unless followed by a clear https://github.com/JavaCS3/xterm-player/assets/139169536/0f3158c0-daf7-46c8-9ef9-85edd6c1ee0d