Bug#826352: ecere-dev: clashes with gnome-builder over /usr/bin/ide

2016-06-10 Thread Jeremy Bicha
Control: severity -1 normal On Sat, Jun 4, 2016 at 5:16 PM, Jérôme St-Louis wrote: > We agree to rename 'ide' to 'ecere-ide' but we're hoping the decided policy > is to leave 'ide' alone for anyone. (We'll now have to setup 'ide' aliases > in our bash configs) gnome-builder 3.20.4-2 no longer us

Bug#826352: ecere-dev: clashes with gnome-builder over /usr/bin/ide

2016-06-04 Thread Jérôme St-Louis
We agree to rename 'ide' to 'ecere-ide' but we're hoping the decided policy is to leave 'ide' alone for anyone. (We'll now have to setup 'ide' aliases in our bash configs) It's true we don't enjoy the same popularity / awareness as that GNOME project, but our IDE has been around since 2003. What

Bug#826352: ecere-dev: clashes with gnome-builder over /usr/bin/ide

2016-06-04 Thread Jeremy Bicha
On Sat, Jun 4, 2016 at 5:16 PM, Jérôme St-Louis wrote: > What is the expected time frame to fix this, can it wait for the upcoming > upstream release? Thank you. Thank you for your quick and accommodative response. The issue is release-critical for Debian's next release [1], so my understanding

Bug#826352: ecere-dev: clashes with gnome-builder over /usr/bin/ide

2016-06-04 Thread Jeremy Bicha
Package: ecere-dev Version: 0.44.14-1 Severity: serious This is the other half of https://bugs.debian.org/824517 "gnome-builder 3.20.x ships /usr/bin/ide, making it impossible to install alongside ecere-dev: Unpacking gnome-builder (3.20.4-1) over (3.18.1-1) ... dpkg: error processing archi