[darcs-users] How to search on the wiki ?

2024-08-28 Thread Alexis Praga
Hi, It looks like the search function on the wiki is not working. Searching emacs results in (https://darcs.net/_search) : Happstack 7.6.1 Your file is not found To try again is useless It is just not here Is there a way to search by keyword ? Thanks, Alexis signature.asc Description: OpenPG

[darcs-users] State of new path format (darcs 3)

2024-08-25 Thread Alexis Praga
Hi, I was pleasantly surprised to see in the Changelog for 2.161 "Preliminary UNSTABLE support for a new patch theory named "darcs-3". It looks quite exciting as "It also reduces the worst case asymptotic runtime for commutation and merging from exponential to merely quadratic in the number of

Re: [darcs-users] Couldn't fetch when cloning a repository

2021-10-12 Thread Alexis Praga
Hi Gian Piero, Here's what worked for me in ~/.ssh/config on Archlinux: > Host hub.darcs.net >Ciphers +aes256-cbc >PubkeyAcceptedKeyTypes +ssh-rsa >HostKeyAlgorithms=+ssh-rsa Gian Piero Carrubba writes: > * [Wed, Oct 06, 2021 at 02:46:15PM +0200] Alexis Prag

Re: [darcs-users] Darcs equivalent of force-pushing and branching

2021-10-12 Thread Alexis Praga
irst phase. > > Cheers > Ben > -- > I would rather have questions that cannot be answered, than answers that > cannot be questioned. -- Richard Feynman > > > _______ > darcs-users mailing list > darcs-users@osuosl.org > https

Re: [darcs-users] Couldn't fetch when cloning a repository

2021-10-06 Thread Alexis Praga
More testing: this happens with Archlinux (latest), and not on FreeBSD 13.0. I can push/pull fine to my SSH server. Alexis Praga writes: > Hi, > > Another issue with hub.darcs.net today: I can no longer pull or clone > any of my repositories: > >> $ darcs pull &g

Re: [darcs-users] Couldn't fetch when cloning a repository

2021-10-06 Thread Alexis Praga
repository: alexda...@hub.darcs.net:alexdarcy/emacs.d (The program "scp > -- alexda...@hub.darcs.net:alexdarcy/emacs.d/_darcs/inventory > ./darcs425130-2" failed with error: "ssh_dispatch_run_fatal: Connection to > 2600:3c01::f03c:91ff:fe62:77de port 22: key type does not

Re: [darcs-users] Couldn't fetch when cloning a repository

2021-10-03 Thread Alexis Praga
filesystem). > > > > On Aug 31, 2021, at 6:39 AM, Alexis Praga > wrote: > > > > > > Thanks for the answer, Ben and Simon. > > Creating a new repo fixed it. > > > > Simon, would it be possible to delete this "repository" : > hub.d

Re: [darcs-users] Cannot create an account at bug.darcs.net

2021-09-15 Thread Alexis Praga
Ganesh Sittampalam writes: > > It should be fixed now. Sorry about that. > > Cheers, > > Ganesh Hi Ganesh, Yes, it's working now, thank you. As a side note, the process only checks the username already exists after sending the confirmation email (which is subopti

[darcs-users] Cannot create an account at bug.darcs.net

2021-09-12 Thread Alexis Praga
Hi, I tried twice to create an account with this email, but submitting the form fails with: Form is corrupted, missing: opaqueregister. Thanks, -- Alexis Praga ___ darcs-users mailing list darcs-users@osuosl.org https://lists.osuosl.org/mailman

[darcs-users] Installing from source as a newcomer

2021-09-11 Thread Alexis Praga
3) What's the difference betwen darcs.net and darcs.net/screened ? Thanks, -- Alexis Praga ___ darcs-users mailing list darcs-users@osuosl.org https://lists.osuosl.org/mailman/listinfo/darcs-users

Re: [darcs-users] Darcs equivalent of force-pushing and branching

2021-09-10 Thread Alexis Praga
ssue2683 > > > ___ > darcs-users mailing list > darcs-users@osuosl.org > https://lists.osuosl.org/mailman/listinfo/darcs-users -- Alexis Praga ___ darcs-users mailing list darcs-users@osuosl.org https://lists.osuosl.org/mailman/listinfo/darcs-users

[darcs-users] Darcs equivalent of force-pushing and branching

2021-09-07 Thread Alexis Praga
set of features, let's say "production" and debug ? The only way I've found would be to have 2 different repositories. Thanks, -- Alexis Praga ___ darcs-users mailing list darcs-users@osuosl.org https://lists.osuosl.org/mailman/listinfo/darcs-users

Re: [darcs-users] How to set external editor ?

2021-09-03 Thread Alexis Praga
et it as an environmental variable: > set -x EDITOR=/usr/local/bin/nvim instead of > set EDITOR=/usr/local/bin/nvim This works, though: > EDITOR=/usr/local/bin/nvim darcs record Sorry for the noise and thanks for the quick answer. -- Alexis Praga ___

[darcs-users] How to set external editor ?

2021-09-03 Thread Alexis Praga
inues to starts vi. Any help appreciated, thanks ! -- Alexis Praga ___ darcs-users mailing list darcs-users@osuosl.org https://lists.osuosl.org/mailman/listinfo/darcs-users

Re: [darcs-users] Couldn't fetch when cloning a repository

2021-08-31 Thread Alexis Praga
xis's repos. > > That's a puzzle. Sorry Alexis, I'm going to recommend you try pushing a new > copy of this repo under a new name (or delete the old one and re-push to a > new repo with the same name) and see if that "fixes" it. > > > >> On Aug 29, 20

[darcs-users] Couldn't fetch when cloning a repository

2021-08-28 Thread Alexis Praga
a zip file, running 'darcs init' and 'darcs pull'. After that, cloning works again. Any idea appreciated, thanks ! -- Alexis Praga ___ darcs-users mailing list darcs-users@osuosl.org https://lists.osuosl.org/mailman/listinfo/darcs-users