mousey's category theory (https://hub.darcs.net/mousey/category-introduction)

root

set up on the darcs hub:

  • generate a ssh keypair ssh-keygen -t rsa -b 4096 -f ~/.ssh/darcs.rsa4096

  • authorise this key pair at https://hub.darcs.net/settings by reading the public key (eg cat ~/.ssh/darcs.rsa4096.pub)

  • edit ~/.ssh/config to include the following:

Host darcs hub.darcs.net
  Hostname hub.darcs.net
  Ciphers  aes256-cbc

  PubkeyAuthentication yes
  IdentityFile      ~/.ssh/darcs.rsa4096
  • test the connection with ssh -T <user>@darcs, which should return shell request failed on channel 0, and not <user>@hub.darcs.net: Permission denied (publickey).

  • at this point, using darcs with hub.darcs.net should work ok, test darcs push <user>@hub.darcs.net:<repository>, for example: darcs push mousey@hub.darcs.net:category-introduction

  • get a copy of this repo: darcs clone mousey@hub.darcs.net:category-introduction


(troubleshooting)

  • hub.darcs.net only supports the aes-cbc ciphersuites, and rsa keypairs -- ed25519 seems to be unsupported.