SvennD
Making darcs play nice on windows
March 10, 2016

Making darcs play nice on windows

Posted on March 10, 2016  •  2 minutes  • 419 words  •  Suggest Changes

I doubt any living soul is still using darcs on windows, so this will be very useful for myself when I reinstall my computer at some time, or god forbid my HP Elitebook 8530p dies on me. Either way, this will get darcs running on windows, so you can use the repo from a Linux machine.

Get everything :

Create the location

This might not strictly be needed but I put everything in c:/tools/ A directory I am going to add to environment variables. This is equal to $PATH in Linux and makes it easier to call binary’s (exe) from console. For windows 10 that’s just searching for them in start menu. (its part of configuration) see images how I did it (its in dutch sorry)

25451944

25451984

Copy & rename some bins

Perhaps not necessary but I set property’s that I trust these files although I downloaded them from the internet.

25452136

Generate key

After that we get to create a keypair, since our server works with key pair and not a password login. For that use puttygen.exe; hit the generate button and move the mouse over the grey area “randomly”.  Save both the public and private key. On the server add the top field (in my case it starts with ssh-rsa AAAAB3NzaC1) to _nano ~/.ssh/authorized_keys  _of the user that you wanne login with. (the darcs users)

Now we would like to test the key using : pageant.exe, double click the app, in the taskbar and icon will apear, richt click it to add the private key you just generated. Then go to cmd and ssh to the user@server it will ask you if you trust the server (and add it to server cache) hit yes and you should be logged in. (I made a password less key) if you can’t login something when wrong, try again.

Darcs p0wers

I added darcs to the tools path, you could also add both c:/tools and c:/program files/darcs to environment path, but either way, check the method you prefer by running darcs in cmd, it should show the help screen. Then go the location you want to get the repo going and pull get it from the server!

darcs get user@server:repo/

Woohoo another thing I’m great at!

Support

If you enjoyed this website, consider buying me a Dr. Pepper

Buy me a Dr PepperBuy me a Dr Pepper