Public bug reported:
AFAICT the program has no connection to PHP, beyond being written in
PHP, and there doesn't seem to be another command with a conflicting
name. Or at least, typing "jsonlint" at the command line doesn't suggest
installing any other packages. Debian seems to have changed the name to
"jsonlint-php" for some reason. The upstream name is "jsonlint":
https://github.com/Seldaek/jsonlint/tree/master/bin
** Affects: jsonlint (Ubuntu)
Importance: Undecided
Status: New
--
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/1823732
Title:
jsonlint binary should be named "jsonlint", not "jsonlint-php"
To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/jsonlint/+bug/1823732/+subscriptions
--
ubuntu-bugs mailing list
[email protected]
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
