1. 31 Jul, 2020 1 commit
  2. 30 Jul, 2020 2 commits
    • per1234's avatar
      [skip changelog] Format generated documentation (#883) · 5f708cdc
      per1234 authored
      We now use Prettier to enforce a formatting standard on the Arduino CLI documentation. Previously, the generated documentation was not compliant with this standard, which caused some problems:
      
      Incorrect list formatting of gRPC reference's table of contents. Prettier uses a two space indent. Because the stock Python-Markdown renderer requires a four space indent for nested lists, it was necessary to start using the mdx_truly_sane_lists extension to support the Prettier indent size. The use of the extension caused the four space indent used in the generated gRPC interface documentation's nested lists to no longer be rendered. It's possible that inconsistent formatting could cause similar issues. By making the formatting of all the documentation consistent, we can be sure that a specific renderer will handle all the docs correctly.
      
      task docs:check fails when run on repository that contains generated docs. Although this could also have been fixed by excluding the generated documentation paths, the list formatting issue needed to be fixed anyway, and it happens to fix this issue as well.
      5f708cdc
    • Silvano Cerza's avatar
      [skip changelog] Add task and workflow to check for dead links in docs (#878) · 0483882b
      Silvano Cerza authored
      * [skip changelog] Add task and workflow to check for dead links in docs
      
      * [skip changelog] Fix link checking task and workflow
      
      * [skip changelog] Fix some documentation links
      0483882b
  3. 29 Jul, 2020 1 commit
  4. 28 Jul, 2020 6 commits
  5. 27 Jul, 2020 3 commits
  6. 23 Jul, 2020 20 commits
  7. 22 Jul, 2020 1 commit
  8. 21 Jul, 2020 5 commits
  9. 20 Jul, 2020 1 commit
    • per1234's avatar
      [skip changelog] Improve install script's check for conflicting installation in $PATH (#822) · e41e22d7
      per1234 authored
      * Make install script's check for conflicting $PATH installation more reliable
      
      Previously, the comparison between the install script's target path and the path of an existing installation in $PATH could easily give a false positive, producing a spurious "An existing arduino-cli was found at..." error. The solution is to fully resolve the paths before comparing them.
      
      * Don't fail installation script when other installation in $PATH is detected
      
      Previously, when a different installation of Arduino CLI was detected in $PATH by the installation script, the error message "Failed to install arduino-cli" would be printed and the script would have exit status 1.
      
      It is wise that the script warns of this situation ("An existing arduino-cli was found at..."), but the "Failed to install arduino-cli" error message was misleading, since Arduino CLI was indeed installed. It is also incorrect to have an error exit status in this situation, since the user may intend to have multiple installations and provide the full path when using the new installation.
      e41e22d7