get sandbox with ssh key?

[Kurt Sansom]

is it possible to "darcs get" the sandbox without an ssh key?

it doesn't appear to allow that? is there an easier way to view the source of sandbox without the wiki formatting?

Regards,

 ~Kurt

[limarea...@gmail.com]

Hi Kurt,

There is a darcs hub : https://hub.darcs.net/basilisk where you can get the wiki, but it's not always up to date with what's on the website.

Apart from that you can write a script to do a full wget of the basilisk wiki.

To view the source of any webpage of the basilisk.fr website without the wiki formatting, you can click on the "Raw page source" link that's visible on every page of the website.

Regards,

Alex

[Kurt Sansom]

Thank you Alex.

~Kurt

[j.a.v...@gmail.com]

Hallo,

The bash script is a nice idea. Here is an implementation,

http://basilisk.fr/sandbox/Antoonvh/get_sb.sh

e.g. to obtain the b-flood folder from the sandbox:

chmod +x get_sb.sh

./get_sb.sh b-flood

Antoon

Op donderdag 6 mei 2021 om 16:51:15 UTC+2 schreef kay...@gmail.com: