Proposing the creation of a virtual package for icon themes

2012-03-13 Thread Fernando Lemos
Hello, After a brief discussion in debian-mentors[1], Paul Wise suggested that we might need a virtual package for icon themes that adhere to the FreeDesktop.org icon naming spec[2]. Following his suggestions, I posted a message requesting feedback from debian-desktop[3] (I suggest that intereste

Re: upstart: please update to latest upstream version

2012-03-13 Thread Paul Wise
On Wed, Mar 14, 2012 at 7:33 AM, Juliusz Chroboczek wrote: > (There's a third issue, of course, which is whose environment the daemon > should be inheriting -- the sanitised environment of init, or the > environment of the shell of whoever is running "/etc/init.d/foo start" > or whatever.) That i

Re: upstart: please update to latest upstream version

2012-03-13 Thread Juliusz Chroboczek
>>> Maybe we could have an intermediate goal to patch any daemon to add an >>> option to not fork on start. >> Yes, please. All the more so since it is effort well-spent, > No, this is not an effort well spent. And as already mentioned, > running the daemon in foreground has unwanted side-e

Bug#663754: ITP: hol-light -- HOL Light theorem prover

2012-03-13 Thread Hendrik Tews
Package: wnpp Owner: Hendrik Tews Severity: wishlist * Package name: hol-light Version : 20120312 Upstream Author : John Harrison * URL or Web page : http://www.cl.cam.ac.uk/~jrh13/hol-light/ * License : HOL Light licence Description : HOL Light theorem prover HOL

Bug#663748: ITP: pesco -- Cognitive stimulation tool for elderly or cognitively impaired

2012-03-13 Thread Luis Rivas Vañó
Package: wnpp Severity: wishlist Owner: "Luis Rivas Vañó" * Package name: pesco Version : 1.2 Upstream Author : GEDES Universidad de Granada * URL : http://forja.rediris.es/projects/ec-ng/ * License : EUPL Programming Lang: C# Description : Cognitive

Re: debconf13

2012-03-13 Thread Gunnar Wolf
vangelis dijo [Tue, Mar 13, 2012 at 03:39:39PM +0200]: > I'll gonna need all of your experience for debconf12 **if**, as i > hope debconf13 will be in Greece and also the knowledge about > hotels, conference halls, etc this great event needs to be > successful. > Please contact me if debian leaders

Re: debconf13

2012-03-13 Thread Paul Wise
On Tue, Mar 13, 2012 at 9:39 PM, vangelis wrote: > I'll gonna need all of your experience for debconf12 *if*, as i hope > debconf13 will be in Greece and also the knowledge about hotels, conference > halls, etc this great event needs to be successful. > Please contact me if debian leadership decid

debconf13

2012-03-13 Thread vangelis
I'll gonna need all of your experience for debconf12 **if**, as i hope debconf13 will be in Greece and also the knowledge about hotels, conference halls, etc this great event needs to be successful. Please contact me if debian leadership decides to be in Greece. kind regards Vangelis Mouhtsis (

Bug#663706: ITP: python-rfoo -- Fast RPC package for Python (and a remote console)

2012-03-13 Thread Jerome KIEFFER
Package: wnpp Severity: wishlist Owner: Jerome KIEFFER * Package name: python-rfoo Version : 1.3.0 Upstream Author : Nir Aides * URL : http://code.google.com/p/rfoo/ * License : BSD Programming Lang: Python Description : Fast RPC package for Python (

#647531: intent to hijack src:cjet

2012-03-13 Thread Didier 'OdyX' Raboud
Hi Chris, (CC to the MIA Team for information and -devel for opinions) I am deeply sorry to have to resort to these means, but your silence since November 2011 on the #647531 bug doesn't leave me with any other choice (given that I really want that bug solved). Hence: I hereby state my intent

Re: Unofficial repositories on 'debian' domains

2012-03-13 Thread Jon Dowland
On Tue, Mar 13, 2012 at 10:57:19AM +0100, Gerfried Fuchs wrote: > www.debian.net is currently an alias for www.debian.org - this needs to > get entangled Do you mean dis-entangled? (Otherwise agree!) > and a page put there to tell people clearly that anything below debian.net is > not an officia

Re: Unofficial repositories on 'debian' domains

2012-03-13 Thread Gerfried Fuchs
* Stefano Zacchiroli [2012-03-13 09:47:43 CET]: > Thus far, no objections have been raised on the above proposal. Also, it > has been pointed out that past privacy concerns were related to the way > in which the entries were published, rather than to the actual > opportunity of doing so. > > Barr

Re: Unofficial repositories on 'debian' domains

2012-03-13 Thread Stefano Zacchiroli
On Mon, Mar 05, 2012 at 08:40:33AM +0100, Stefano Zacchiroli wrote: > While we are at it, I also think we should provide an index of > *.debian.net entries on that splash page. > http://wiki.debian.org/DebianNetDomains is just too prone to outdateness > and incompleteness. The index can be automati