Tue, Jun 8
It works, thanks!
Mon, Jun 7
Thanks all! I checked, and I can now use Jupyter Hub. I saw that the Kerberos issue is being handled in task https://phabricator.wikimedia.org/T284022, so I'll keep an eye on that one, too.
Wed, Jun 2
Note: apparently puppet has email@example.com as my email address, but I think that one might have expired (I tried emailing it yesterday, as a test, but it bounced). So maybe we should update my contact address to firstname.lastname@example.org.
Thanks @Aklapper. I'm following the instructions in a separate task that I just created.
Mon, May 31
Thanks, this helped! I realized that I was using the wrong SSH key, and now, when using a different one, it works.
Dec 8 2017
One reason why having the HTML dump (as opposed to plain wikitext) would be very useful is because HTML has all templates expanded, while wikitext doesn't, and I don't know of any easy and standard method of expanding templates locally, without having to install a full MediaWiki stack.
Oct 19 2017
Thanks so much, Rob. I followed the instructions, and it worked. You may delete the older key now.
Oct 18 2017
Thanks. I'm trying to log in as I used to from my old machine:
$ ssh email@example.com
but I get the (expected) error
"ssh: Could not resolve hostname stat1005.eqiad.wmnet: nodename nor servname provided, or not known".
Oct 11 2017
ssh-rsa AAAAB3NzaC1yc2EAAAADAQABAAABAQDGd7k8tpFmG0m7qe1tD9M7QGQCioHi/kDuSlA8FpSRAsmDWcARisV1/29lpdHUCy4tJ0s3zaEcoGUjy3630El1Ch+dn+NiQSKBcW9fFZ0yhr4uEoOTcamou3L/tpr6ky0hzvX/BNmZTL9ZF2v3PUyb7jAmDs0/1rVSRJ0Egy3+tRR7TttKXdUArGda9/CznW7tQ1BWBIWQ3CeA9Um+uUckF0JFa/IKRdZ5LADrQ/w3wVqcN9WyXza30ITXYKQWkiJPnW+oU/j5r2huY8rTVjaKxTVFf8qVBJXPULUgdgGJqbAkJ34wAW200xij830pTPkh+P/b33/CtUeM+9k9sY0f west@malum