gwern comments on Open Thread: October 2009

[gwern]

Any progress since? (It seems to work fine for me on Debian.)

[ZoneSeek]

Took a crack at it again, just now worked out how to change directories in a terminal.