lint: команда не найдена
Есть ли в 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
Страница руководства, на которую ссылается Википедия, предназначена для BSD, я не могу найти страницу руководства для варианта Linux. Возможно, мне нужно установить его?
2 ответа
От apt-cache search lint
splint - инструмент для статической проверки программ на C на наличие ошибок.
splint-data - инструмент для статической проверки программ на C на наличие ошибок - файлы данных
splint-doc-html - инструмент для статической проверки программ на C на наличие ошибок - HTML документация
Монтаж
sudo apt-get install splint
Документация
За документацией, примерами и загрузками обращайтесь на их сайт по адресу http://www.splint.org/.