Как сохранить вкладку live bash в файл?

Когда я преподаю класс, у некоторых учеников возникают проблемы, следуя моим командам CLI, и вы хотели бы прокрутить назад, чтобы повторять шаги с их собственной скоростью. Поэтому я хотел бы записывать все мои входы в реальном времени в html-файл или что-то похожее, которое я мог бы использовать через веб-сервер. Таким образом, студенты могли просто перейти на http://example.com/log#end и всегда будут видеть последние записи.

Я знаю многопользовательский режим screen и уже использовал его для обмена сеансами. Тем не менее, мне нужно отключить доступ для записи студентов, и, к сожалению, они не могут прокручиваться вверх, если я это сделаю.

Я также посмотрел на script, но он генерирует ужасный результат, который даже при фильтрации через col -bp < logfile >> output.html не читается. Кроме того, он также регистрирует выход, что усложняет ситуацию и только дампывает файл журнала в непредвиденные промежутки времени.

.bash_history может использоваться, но сбрасывается только в файл, когда сеанс заканчивается. [!d4 ]

Любые идеи?