>>>>> On Mon, 12 Mar 2012, Ciaran McCreesh wrote: > On Mon, 12 Mar 2012 18:05:46 +0100 > Ulrich Mueller <u...@gentoo.org> wrote: >> See above, even if we should ever move away from bash, GLEP 55 is >> still not needed.
> ...but we might as well go with GLEP 55 anyway, since GLEP 55 > definitely works, whereas other solutions might work so long as we > don't do something unexpected. > This whole thing is just an exercise in trying to find excuses not > to use GLEP 55. There are very good reasons not to embed this information in the filename. That it makes the filename harder to parse for the human eye and more difficult to type is one of them. Besides, we already have a council decision about that GLEP. Ulrich
