[00:15] Interesting. [00:16] er, I need to pick one or the other of these... [00:17] And I don't know what to tell ya, they're in /usr/share/applications, and they have identical names there. Which seems impossible! [00:20] macksting: they may have very similarily looking file names, but they won't be identifcal. maybe if you run ls -lb /usr/share/applications/whateveritstartswith* it will solve the miracle. [00:20] Well! They have different filenames, just the same display name. Or whatever you wanna call it. [00:21] *that* is possible indeed [00:22] so have a look at both, and edit the display name for the one that points to the target that you want to be displayed differently. [00:22] Unfortunately, this being /usr/ yadda yadda, I don't have permissions to faff about with it. How likely is it that I could accidentally break something I don't want broken by attempting to change it? [00:23] whenever you touch things which are actually meant to be managed by a package manager - relevantly high. [00:23] -_- [00:24] dpkg -S /path/to/somefile tells you whether it's part of a debian package [00:26] I feel like I should be able to remember with more clarity how I installed these. [00:28] Anyway yeah it seems to be part of the package gearhead2-sdl, which is no surprise to me. [00:31] Well, if it's an actual error on the package level, I need to bring it to the dev's attention. [00:34] Sounds like there's no *immediate* fix without breaking something small within the package? [00:49] probably. you could patch the package and install your patched version, but that's not sooo easy [00:49] it seems like you only checked on one of the two files, though, are both part of this package? [02:16] Different packages, same dev. [02:16] And I did actually check both. [04:34] oh jeez, apparently he's not the one who uploaded those packages.