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

У Ubuntu есть утилита lint? Как это установить? В компьютерном программировании lint является утилитой Unix ..

https://en.wikipedia.org/wiki/Lint_%28software%29 [!d3 ]

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 так:

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

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

lint program.c | tee program.lint

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

1
задан 4 April 2016 в 13:35

1 ответ

Из apt-cache search lint

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

Установка

sudo apt-get install splint

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

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

7
ответ дан 23 May 2018 в 12:24

Другие вопросы по тегам:

Похожие вопросы: