Мануалы и справочники Общие команды
pio-check

Команда pio-check: опции, ключи и примеры использования

pio check

Perform a static analysis check on a PlatformIO project. More information: https://docs.platformio.org/en/latest/core/userguide/cmd_check.html.

  • Perform a basic analysis check on the current project:

pio check

  • Perform a basic analysis check on a specific project:

pio check --project-dir {{project_dir}}

  • Perform an analysis check for a specific environment:

pio check --environment {{environment}}

  • Perform an analysis check and only report a specified defect severity type:

pio check --severity {{low|medium|high}}

  • Perform an analysis check and show detailed information when processing environments:

pio check --verbose

Также может быть вам интересно:

pio-boards

boards List pre-configured embedded boards available in PlatformIO. More information:…

Читать »

pio-ci

ci Build PlatformIO projects with an arbitrary source code structure.…

Читать »
Фото Microsoft открывает исходники, а её IDE супер-популярна

Microsoft открывает исходники, а её IDE супер-популярна

Решил сложить пару фактов и немного над этим поразмыслить. Реально ли Microsoft "переобулись"?

Фото Пример своей консольной команды в Django проекте

Пример своей консольной команды в Django проекте

Если вы работали с Django проектом, то, скорее всего, запускали команды из консоли (manage.py). В Django есть простой способ писать свои команды для управления проектом.

Фото Как на Bash посчитать число строк в проекте (директории)

Как на Bash посчитать число строк в проекте (директории)

Ниже будет представлен однострочник, решающий данную задачу на Bash + пошаговое описание его работы.

Фото И снова sudo, и снова "решето"

И снова sudo, и снова "решето"

В утилите sudo была исправлена очередная уязвимость.

Фото Как установить часовой пояс в Linux

Как установить часовой пояс в Linux

В рамках первичной настройки Операционной Системы важно установить и по какому времени вы живёте, ведь при следующем обновлении времени через Интернет ваше время слетит.

Фото Как найти самые большие папки и файлы в Linux

Как найти самые большие папки и файлы в Linux

Когда кончается место на жестком диске, возникает закономерный вопрос: на что же оно было потрачено, какие файлы разрослись больше положенного?

Фото Команда grep – полезные ключи и примеры использования

Команда grep – полезные ключи и примеры использования

У команды "grep" довольно много различных особенностей. особенно, если учесть, что с английского это "решето" – а что может войти в решето , не факт что выйдет!

Фото Как создать неизменяемый файл в Linux / MacOS / FreeBSD

Как создать неизменяемый файл в Linux / MacOS / FreeBSD

Само собой, root может всё (если введёт пару команд), однако, это вполне легальный способ запретить изменение файла.