lint: команда не найдена


9

Есть ли в Ubuntu утилита lint? Как это установлено?

В компьютерном программировании lint - это утилита Unix.

https://en.wikipedia.org/wiki/Lint_%28software%29

thufir@mordor:~$ 
thufir@mordor:~$ gcc program.c -o prog
program.c:5:1: warning: return type defaults to int [-Wimplicit-int]
 main()
 ^
thufir@mordor:~$ 
thufir@mordor:~$ ./prog

Hello World

thufir@mordor:~$ 
thufir@mordor:~$ lint program.c
No command 'lint' found, did you mean:
 Command 'line' from package 'util-linux' (main)
 Command 'jlint' from package 'jlint' (universe)
 Command 'link' from package 'coreutils' (main)
 Command 'dlint' from package 'dlint' (universe)
 Command 'lift' from package 'lift' (universe)
 Command 'tint' from package 'tint' (universe)
 Command 'hlint' from package 'hlint' (universe)
lint: command not found
thufir@mordor:~$ 

Я пытаюсь использовать ворс как так:

lint program.c | программа

Он отображает стандартный вывод команды lint program.c на компьютере и одновременно сохраняет его копию в файле program.lint. Если файл с именем program.lint уже существует, он будет удален и заменен.

https://en.wikipedia.org/wiki/Tee_%28command%29#Unix-like_2

Страница руководства, на которую ссылается Википедия, предназначена для BSD, я не могу найти страницу руководства для варианта Linux. Возможно, мне нужно установить его?


Ответы:



7

От apt-cache search lint

splint - инструмент для статической проверки программ на C на наличие ошибок.
splint-data - инструмент для статической проверки программ на C на наличие ошибок - файлы данных
splint-doc-html - инструмент для статической проверки программ на C на наличие ошибок - документация HTML

Установка

sudo apt-get install splint

Документация

Для документации, примеров и загрузок, проверьте их веб-сайт по адресу http://www.splint.org .

Используя наш сайт, вы подтверждаете, что прочитали и поняли нашу Политику в отношении файлов cookie и Политику конфиденциальности.
Licensed under cc by-sa 3.0 with attribution required.