It works, thanks!

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.

Note: apparently puppet has rwest@wikimedia.org 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 robert.west@epfl.ch.

Thanks @Aklapper. I'm following the instructions in a separate task that I just created.

Thanks, this helped! I realized that I was using the wrong SSH key, and now, when using a different one, it works.

Hi there,

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.

Thanks so much, Rob. I followed the instructions, and it worked. You may delete the older key now.

Thanks. I'm trying to log in as I used to from my old machine:
$ ssh west1@stat1005.eqiad.wmnet
but I get the (expected) error
"ssh: Could not resolve hostname stat1005.eqiad.wmnet: nodename nor servname provided, or not known".

ssh-rsa AAAAB3NzaC1yc2EAAAADAQABAAABAQDGd7k8tpFmG0m7qe1tD9M7QGQCioHi/kDuSlA8FpSRAsmDWcARisV1/29lpdHUCy4tJ0s3zaEcoGUjy3630El1Ch+dn+NiQSKBcW9fFZ0yhr4uEoOTcamou3L/tpr6ky0hzvX/BNmZTL9ZF2v3PUyb7jAmDs0/1rVSRJ0Egy3+tRR7TttKXdUArGda9/CznW7tQ1BWBIWQ3CeA9Um+uUckF0JFa/IKRdZ5LADrQ/w3wVqcN9WyXza30ITXYKQWkiJPnW+oU/j5r2huY8rTVjaKxTVFf8qVBJXPULUgdgGJqbAkJ34wAW200xij830pTPkh+P/b33/CtUeM+9k9sY0f west@malum