Fix some tipos on RTOS FreeRTOS section (#269)

jamoralp · web-flow · commit eac0ee1e8556 · 2020-12-23T12:07:09.000+01:00
* Fix some tipos on RTOS FreeRTOS section

* Ignore twitter links on CI
diff --git a/_docs/overview/rtos/index.md b/_docs/overview/rtos/index.md
@@ -50,7 +50,7 @@ In this section, we review the main features of the three RTOSes supported offic
 
 ### **FreeRTOS**
 
-FreeRTOS is distributed under the MIT license. It is know particularly for is simplicity and the extension a:FreeRTOS provided by Amazon. For micro-ROS, we make use of the POSIX extension.
+FreeRTOS is distributed under the MIT license. It is known particularly for its simplicity and the extension a:FreeRTOS provided by Amazon. For micro-ROS, we make use of the POSIX extension.
 
 <div class="rtoscontainer">
   <div class="rtositem_description">
diff --git a/scripts/cibuild b/scripts/cibuild
@@ -17,6 +17,7 @@ fi
 IGNORE_HREFS=${IGNORE_HREFS:+$IGNORE_HREFS,}$(ruby -e "puts %w{
   vimeo.com
   omg.org
+  twitter.com
   ${ADDITIONS}
   }.map{|h| \"/#{h}/\"}.join(\",\")"
 )

Original file line number	Diff line number	Diff line change
`@@ -17,6 +17,7 @@ fi`
`17`	`17`	`IGNORE_HREFS=${IGNORE_HREFS:+$IGNORE_HREFS,}$(ruby -e "puts %w{`
`18`	`18`	`vimeo.com`
`19`	`19`	`omg.org`
	`20`	`+ twitter.com`
`20`	`21`	`${ADDITIONS}`
`21`	`22`	`}.map{\|h\| \"/#{h}/\"}.join(\",\")"`
`22`	`23`	`)`