anatoly techtonik
anatoly techtonik
Need to see if unix patch handles this. Timestamp that is not separated by tab is invalid file format, because timestamp could be a part of filename as well.
I see that https://github.com/sourcelair/xterm.js is pretty active, so there are chances to fix rendering bugs upstream if somebody is going to report that. Are there any tests to check that...
If it is a terminal, then all you need is a websocket for stdin and stdout of controlling terminal, which is the browser. Right?
Here is the alternative officially tested and maintained by Chromium team https://chromium.googlesource.com/apps/libapps/+/master/hterm/doc/ChangeLog.md and how to embed https://chromium.googlesource.com/apps/libapps/+/master/hterm/doc/embed.md
Too bad it is still 2 hours of work to pick up from the point you've left it.
No, I haven't measured performance. Was looking for alternative library without PDF in its name.
Make sure to checkout https://github.com/badges/shields/issues/1379 for performance discussion.
Your plan may fail - it is already 2012. ;)
This will also fix problem of uncertainty - issue #192.
When you watch video on pyvideo it is uncertain if additional materials like slides should be provided or not. Having a queue of visitor supplied edits/comments for the video page...