search

media-explorer / media-explorer

A media explorer
GNU Lesser General Public License v2.1
50 stars 9 forks source link

Rename media explorer binary #142

Closed ghost closed 13 years ago

ghost commented 13 years ago

Apparently our binary filename collide with the package texlive-lang-polish, also providing /usr/bin/mex.

Suggestions for a new binary name ?

jpwhiting commented 13 years ago

Is media-explorer out of the question for some reason? I always wondered why it wasn't named that anyway.

ghost commented 13 years ago

media-explorer might be a bit generic isn't it ? But if everyone's ok with that...

dlespiau commented 13 years ago

I guess the main reason is that I found media-explorer a bit dull and went with mex instead. To be honest, it needs a better than than any of those :D

dlespiau commented 13 years ago

That bug was already closed WONTFIX as, really, I don't care about an obscure package in Debian :p

ghost commented 13 years ago

It now collides with the mathlab package on some distro, we really to change the binary name.

dlespiau commented 13 years ago

Fine, fine :p changed the binary and desktop file name to media-explorer.

ghost commented 13 years ago

Sorry, we're having issues with data files which aren't located in the right directory anymore. /usr/share/mex/ should now be /usr/share/media-explorer

ghost commented 13 years ago

Fixed in 4ac9fec6800eb5584f6fb2d45fbfbd6fbf37f564 and 77e4443a3f4dd99d5c47fe84e5a817d1c8469b65.