jsonlint command misnamed as jsonlint-py

[Alan Robertson]

the python-demjson package binary is named "jsonlint"

For some unimaginable reason,in the 15.04 release, it appears to have been broken and renamed jsonlint-py.

The man page still names it jsonlint. The underlying pip package is named demjson and still installs itself as jsonlint.

Please fix. You should not be installing a pip package under an incompatible name - one that's incompatible with both the old name, and with the pip package it's based one.

$ whereis jsonlint
jsonlint: /usr/share/man/man1/jsonlint.1.gz
alanr@system76:~/monitor/src/cma$ whereis jsonlint-py
jsonlint-py: /usr/bin/jsonlint-py /usr/share/man/man1/jsonlint-py.1.gz

If you read either man page, the command is named "jsonlint". So that's three to one for it being broken:

 - previous releases called it jsonlint
 - the man pages call it jsonlint
 - the underlying pip package calls it jsonlint

ProblemType: Bug
DistroRelease: Ubuntu 16.04
Package: python-demjson 2.2.4-1
ProcVersionSignature: Ubuntu 4.4.0-21.37-generic 4.4.6
Uname: Linux 4.4.0-21-generic x86_64
ApportVersion: 2.20.1-0ubuntu2
Architecture: amd64
CurrentDesktop: Unity
Date: Mon Apr 25 14:16:13 2016
PackageArchitecture: all
SourcePackage: python-demjson
UpgradeStatus: Upgraded to xenial on 2016-04-24 (0 days ago)

[Alan Robertson (alanr-unix)]

I meant to say "16.04". Guess I'm not sure what year it is ;-)

[Hans Joachim Desserud (hjd)]

Thanks for taking your time to report this issue and help make Ubuntu better.

It looks like it changed name to avoid conflicts with a different tool, see https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=778468 for details. Though I suppose when the package changes the name, it should also be reflected in the manpage.

[Mattia Rizzolo (mapreri)]

The "unimaginable reason" is that the jsonlint command clashes with another command provided by another package.
See https://bugs.debian.org/778468