Wiki access via Darcs issue

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

Hallo all,

Since a week I cant push or pull patches via Darcs. I tried a few fixes, including re-initializing the repository, but it did not work.

When I try to push a patch I get the error:

Waiting for lock /home/wiki/wiki/_darcs/lock
Couldn't get lock /home/wiki/wiki/_darcs/lock
Prehook failed!
Apply failed!

That path does not exist , but /home/antoon/wiki/_darcs does.

When I try to pull, it reads that there are no remote patches to pull in, whereas the online "recent activity" shows otherwise.

Does any body else have this issue, or maybe a fix?

Thanks,

Antoon

[Nelson Joubert]

Hello Antoon,

I have the same issue than you, but unfortunately no fix.

Nelson

[limarea...@gmail.com]

Hey there,

Same problem here. Been stuck for one week. If I do a fresh pull, I get :

~> darcs get wi...@basilisk.fr:wiki

Copying patches, to get lazy repository hit ctrl-C...                
Finished cloning.                                                    
~> cd wiki/
~/wiki> darcs check
darcs: src/Darcs/Patch/V2/RepoPatch.hs:(602,17)-(603,78): Irrefutable pattern failed for pattern Just a2'
~/wiki> darcs -v

2.14.1 (release)

And strangely, if I do a darcs log, the most recent patch is:

patch 4a68dddfe8cd45512ea5afad4ff5613e2dca814f
Author: weugene
Date:   Sun Sep  6 11:16:00 CEST 2020
  * convertD2P

which is different from the last patch online.

I tried rollbacks on the 10 latest patches, to no avail.

Stephane said that the online version of darcs on the basilisk's website is not the most recent one, maybe I should try with older version of darcs, as indicated on the darcsit/README page

Troubleshooting

• If “history” or “Recent activity” do not work, make sure that the version of darcs on the server is less than 2.8.5.

Cheers,

Alex

[Stephane Popinet]

> Waiting for lock /home/wiki/wiki/_darcs/lock
> Couldn't get lock /home/wiki/wiki/_darcs/lock
> Prehook failed!
> Apply failed!
>
> That path does not exist , but /home/antoon/wiki/_darcs does.

The error message refers (not clearly) to the remote server i.e.
wi...@basilisk.fr

What must have happened is that darcs or the server crashed at some
point, leaving a lock file behind.

I have removed the lock file so pushing/pulling to wi...@basilisk.fr
should work again.

cheers,

Stephane

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

It works indeed.

Thanks you all

Op donderdag 17 september 2020 om 16:59:55 UTC+2 schreef Stephane Popinet:

[Damien Huet]

Hello everyone,

I think I am facing a similar problem when trying to upload my local changes to the wiki. I can pull the wiki with no issue but pushing my local changes results in the following error message:

Do you want to Push these patches? [Yglqk...], or ? for more options: y
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
    LANGUAGE = (unset),
    LC_ALL = (unset),
    LANG = "en_CA.UTF-8"
    are supported and installed on your system.
Waiting for lock /home/wiki/wiki/_darcs/lock
perl: warning: Falling back to the standard locale ("C").

Couldn't get lock /home/wiki/wiki/_darcs/lock
Prehook failed!

darcs: fd:14: hPutBuf: resource vanished (Broken pipe)

There are some harmless (I believe) warnings about perl, but the failed Prehook prevents me from publishing on the server. I don't know if this is happening to me only or to other users as well: if this comes from a misuse of the darcs server on my part, please let me know so I don't mess things up again.

Thanks,

Damien

[Bruno Deremble]

Hi Damien,

same issue here.
I think Stephane needs to delete the lock file on the server.
I don't know if he is available this time of year though.

Best
Bruno

[Damien Huet]

Hi Bruno,

Thank you for your reply. It seems that the lock file is still on the server, but I am in no rush to update my sandbox. I will reply to this thread when I am able to use darcs to publish changes on the wiki again.

Best,

Damien

[Stephane Popinet]

Should be OK now.

> --
> You received this message because you are subscribed to the Google
> Groups "basilisk-fr" group.
> To unsubscribe from this group and stop receiving emails from it, send
> an email to basilisk-fr...@googlegroups.com
> <mailto:basilisk-fr...@googlegroups.com>.
> To view this discussion on the web visit
> https://groups.google.com/d/msgid/basilisk-fr/fdbb73b3-ecfc-441a-986f-12a40fb09539n%40googlegroups.com
> <https://groups.google.com/d/msgid/basilisk-fr/fdbb73b3-ecfc-441a-986f-12a40fb09539n%40googlegroups.com?utm_medium=email&utm_source=footer>.

[Damien Huet]

Hello Stéphane,

Thank you for spending time on this issue. Unfortunately, when using "darcs push" I still face the same error as before:

Waiting for lock /home/wiki/wiki/_darcs/lock
Couldn't get lock /home/wiki/wiki/_darcs/lock
Prehook failed!

darcs: fd:14: hPutBuf: resource vanished (Broken pipe)

I have recently upgraded my OS from ubuntu 20.04 to 22.04, which might have changed some ssh settings... Maybe it is best if someone else tries to darcs push. I am positive I still have the same ssh public key, though.

Best,

Damien

[Stephane Popinet]

I just tried now and it worked.

> <https://groups.google.com/d/msgid/basilisk-fr/fdbb73b3-ecfc-441a-986f-12a40fb09539n%40googlegroups.com?utm_medium=email&utm_source=footer
> <https://groups.google.com/d/msgid/basilisk-fr/fdbb73b3-ecfc-441a-986f-12a40fb09539n%40googlegroups.com?utm_medium=email&utm_source=footer>>.

>
>
> --
> You received this message because you are subscribed to the Google
> Groups "basilisk-fr" group.
> To unsubscribe from this group and stop receiving emails from it, send
> an email to basilisk-fr...@googlegroups.com
> <mailto:basilisk-fr...@googlegroups.com>.
> To view this discussion on the web visit

> https://groups.google.com/d/msgid/basilisk-fr/d9105aa9-3af8-4b0b-990c-dad72b89cb39n%40googlegroups.com
> <https://groups.google.com/d/msgid/basilisk-fr/d9105aa9-3af8-4b0b-990c-dad72b89cb39n%40googlegroups.com?utm_medium=email&utm_source=footer>.

[Bruno Deremble]

weird: I also still get the error Damien describes.
Maybe there is a lock file on my own basilisk repository?

I am using
OpenSSH_9.0p1, OpenSSL 1.1.1o

bruno

[Andrés Castillo-Castellanos]

Hello everyone,

I get the following error when trying to do a darcs push

darcs: Pushing to http URLs is not supported.
CallStack (from HasCallStack):
  error, called at src/Darcs/Util/Printer.hs:145:14 in darcs-2.14.5-1R0qQK0dGLIGSWO7w3taAD:Darcs.Util.Printer

I thought my darcs repo was properly configured but I haven't submitted anything new in a while. 

darcs show repo
         Format: hashed, darcs-2
           Root: /home/castillo/Workspace/wiki
   PristineType: HashedPristine
          Cache: thisrepo:/home/castillo/Workspace/wiki, cache:/home/castillo/.cache/darcs, repo:., repo:wi...@shell.basilisk.fr:wiki
     PatchIndex: enabled, but not yet created
   predist Pref: cd src && flex -o qcc.c qcc.lex && flex -P inc -o include.c include.lex && touch Makefile.tests Makefile.deps
 Default Remote: http://basilisk.fr/wiki
    Num Patches: 18770
      Weak Hash: 8c15d2d0a46a1e54012c57f188a5ee2cbfe83e4b

Is anyone else having the same issue? Ideas?

[Stephane Popinet]

> darcs: Pushing to http URLs is not supported.

http://basilisk.fr/Help#pushing-local-changes