On Sat, 31 Dec 2011 01:34:52 +0000 (UTC), I wrote: >> Until recently, there was a file /usr/bin/gmplayer that was just a link to >> /usr/bin/mplayer.
On Sat, 31 Dec 2011 15:30:42 +1100, Scott Ferguson wrote: > gmplayer and mplayer are different binaries. >From /usr/bin in a recent backup: lrwxrwxrwx 1 root root 7 Jun 18 2011 gmplayer -> mplayer Looks like they're the same binary to me (gmplayer being just a link to mplayer). Unless you consider a link to be a separate binary in itself. -- To UNSUBSCRIBE, email to debian-user-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/loom.20111231t144114-...@post.gmane.org