[sage-devel] Re: Announcement: the migration ship to the GitHub planet launched

2023-01-31 Thread Antoine Leudière
Amazing, can't wait to see the result! Best, Antoine Le mardi 31 janvier 2023 à 02:11:21 UTC+1, Kwankyu Lee a écrit : > Be fastened! -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from

Re: [sage-devel] Final call for GitHub user names

2023-01-30 Thread Antoine Leudière
was deleted because >>>> Github terms prevent from having two accounts (typically a personal >>>> account >>>> and a professional account like I entended to). Therefore, I need replace >>>> Github username `antoine-leudiere` with `Kryzar`. C

Re: [sage-devel] Final call for GitHub user names

2023-01-30 Thread Antoine Leudière
Therefore, I need replace >> Github username `antoine-leudiere` with `Kryzar`. Could you help me with >> that (or tell me if I can just do a new pull request or comment #357)? >> >> Apologies for the extra work. >> Best, >> Antoine Leudière >> >&

Re: [sage-devel] Final call for GitHub user names

2023-01-30 Thread Antoine Leudière
.) A. Le lundi 30 janvier 2023 à 14:35:05 UTC+1, dim...@gmail.com a écrit : > As far as I can see, you provide in the PR kryzar as the github > account name, and that's the way you'd like it, right? > > > On Mon, Jan 30, 2023 at 1:04 PM Antoine Leudière > wrote: > > >

Re: [sage-devel] Final call for GitHub user names

2023-01-30 Thread Antoine Leudière
entended to). Therefore, I need replace Github username `antoine-leudiere` with `Kryzar`. Could you help me with that (or tell me if I can just do a new pull request or comment #357)? Apologies for the extra work. Best, Antoine Leudière Le vendredi 20 janvier 2023 à 06:49:15 UTC+1, Kwankyu Lee

Re: [sage-devel] VOTE: move Sage development to Github

2022-09-22 Thread Antoine Leudière
+1 for Github Le jeudi 22 septembre 2022 à 11:38:17 UTC+2, chris wuthrich a écrit : > > 0(No real preference and too little understanding of the matter, but > very happy that we have a meaningful vote on things like this.) -- You received this message because you are subscribed to the

Re: [sage-devel] Trac SSH key change

2022-08-30 Thread Antoine Leudière
Jan > > On Tue, 30 Aug 2022 at 11:43, Dima Pasechnik wrote: > >> >> >> On Tue, 30 Aug 2022, 10:41 Antoine Leudière, >> wrote: >> >>> Hi, >>> >>> It seems the Trac SSH server key has changed; got this message after >>> at

[sage-devel] Trac SSH key change

2022-08-30 Thread Antoine Leudière
ost key verification failed. fatal: Could not read from remote repository. Please make sure you have the correct access rights and the repository exists. ``` Can you confirm that this is normal, and that I can proceed? Is this related to https://groups.google.com/u/1/g/sage-devel/c/iHgyTYbNOn0

Re: [sage-devel] Question about factories, representations and multiple classes

2022-06-08 Thread Antoine Leudière
On Tue, 2022-06-07 at 23:03 -0700, 'Travis Scrimshaw' via sage-devel wrote: > > I'm also relatively new to Sage development, but one thing I can think of is > > that you could create a constructor module for your implementation of > > Drinfeld module. In short, the way I see it is that you would

Re: [sage-devel] Question about factories, representations and multiple classes

2022-06-08 Thread Antoine Leudière
Thanks John for the answer. On Tue, 2022-06-07 at 08:41 -0700, John H Palmieri wrote: > Isn't this because you're using CachedRepresentation? From the documentation: > > Instances of a class have a *cached representation behavior* when several > instances constructed with the same arguments

Re: [sage-devel] Question about factories, representations and multiple classes

2022-06-07 Thread Antoine Leudière
I thank all of you for your answers. And sorry for taking a bit long to reply! After many trys and errors, here is something that works for me: ``` from sage.structure.sage_object import SageObject from sage.structure.unique_representation import CachedRepresentation class

[sage-devel] Question about factories, representations and multiple classes

2022-05-13 Thread Antoine Leudière
Hi, I have a class `MyObject` and a class `MyObject_specific_case` that inherits `MyObject`: ``` class MyObject: def __init__(self, arg): # Do stuff class MyObject_specific_case: def __init__(self, arg): # Do stuff super().__init__(arg) ``` It is easy to decide

Re: [sage-devel] Trouble with SSH access

2022-04-12 Thread Antoine Leudière
IT WORKS!!! ```bash ~ ssh -i ~/.ssh/ssh_key-sage-trac-2 g...@trac.sagemath.org info perl: warning: Setting locale failed. perl: warning: Please check that your locale settings: LANGUAGE = (unset), LC_ALL = (unset), LC_PAPER = "fr_FR.UTF-8", LC_ADDRESS =

Re: [sage-devel] Trouble with SSH access

2022-04-12 Thread Antoine Leudière
Thanks a lot for the input. Antoine On Mon, 2022-04-11 at 22:24 +, Thierry wrote: > Hi, > > i had a quick look at the trac/git box: when a SSH pubkey is added from > the trac website, the /srv/git/repositories/gitolite-admin.git > repository is updated accordingly, so it seems it is not an

Re: [sage-devel] Trouble with SSH access

2022-04-08 Thread Antoine Leudière
> On Thu, Apr 7, 2022 at 5:08 PM Maxime Bombar wrote: > > > > On 4/7/22 17:59, Antoine Leudière wrote: > > > Hi Maxime, > > > > > > Thanks a lot for answering! I did, yes --- but I may very well be missing > > > something! > > >

Re: [sage-devel] Trouble with SSH access

2022-04-07 Thread Antoine Leudière
created a Trac account especially to try this out, and had the same error. A. P.-S. : I apologize to the mod-team as I realize that I may have submitted my issue twice. On Thu, 2022-04-07 at 17:43 +0200, Maxime Bombar wrote: > On 4/7/22 16:55, Antoine Leudière wrote: >   > >   Hi,

[sage-devel] Trouble with SSH access

2022-04-07 Thread Antoine Leudière
Hi, I created a pair of ec25519 SSH keys to access Trac through SSH (see https://doc.sagemath.org/html/en/developer/trac.html#trac-authentication-through-ssh). The key identity file is ~/.ssh/ssh_key-sage-trac-2. I am using Ubuntu 21.10 However, my config does not seem to work: $ ssh -i