get sandbox with ssh key?

119 views
Skip to first unread message

Kurt Sansom

unread,
May 5, 2021, 2:58:39 PM5/5/21
to basilisk-fr
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

unread,
May 6, 2021, 3:59:36 AM5/6/21
to basilisk-fr
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

unread,
May 6, 2021, 10:51:15 AM5/6/21
to basilisk-fr
Thank you Alex.
~Kurt

j.a.v...@gmail.com

unread,
May 14, 2021, 4:19:08 AM5/14/21
to basilisk-fr
Hallo,

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


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:
Reply all
Reply to author
Forward
0 new messages