Roberto's response is interesting; I've never really understood what the TEI Oxygen package does. Does anyone know? Does it simply provide a customized version of Oxygen that incorporates TEI stuff? If so, presumably it was obsoleted when the plugin was created. Cheers, Martin On 15-09-24 09:23 AM, James Cummings wrote:
On 24/09/15 17:14, Martin Holmes wrote:
Does it fail because it wants a password you don't have, or because your not SR and so you don't have access to his keys? Did you su rahtz?
I had 'su rahtz' before.
If we decide to take over building of the packages and move them, there's stuff that has to be done that I don't actually understand. Existing users, who are subscribed to the repo on the Oxford server, will need to remove that repo from their sources and substitute another one. I don't know how (assuming there is a way) to make that requirement known to package users, other than crude things like making the existing repository disappear so that they get errors when they do apt-get update and go off looking for answers. There's some research and learning to do here, so I think we need a little workgroup.
Yes, luckily, the type of person who is subscribed to the teideb repository is likely to be the type of person who won't mind switching the url to a new one. But yes... I think we need a decision on: - should we be maintaining debian packages? - if so, which packages? - where should it be located?
Meanwhile, I've asked a simple question on the TEI-L list. If it turns out no-one is using the packages at all, then we might consider abandoning them.
I use them but don't need to.
-James