IRC Google search?

Chris Johns chrisj at rtems.org
Mon Aug 5 22:30:09 UTC 2019


On 5/8/19 11:01 pm, Sebastian Huber wrote:
> Hello,
> 
> in the user manual you find this hint:
> 
> "The ``#rtems`` channel is logged. You can find the logs at:
> 
>    http://www.rtems.org/irclogs/
> 

This was added on the understanding the logs would be made available. It has not
happened.

> You can search the logs using Google by adding:
> 
>    **site:rtems.org inurl:irclogs**
> 
> to your search terms."
> 
> I encountered two problems:
> 
> 1. The page
> 
> http://www.rtems.org/irclogs/
> 
> does not exists.
> 
> 2. The Google search doesn't work.
> 

This ticket covers the topic ...

https://devel.rtems.org/ticket/2200

I understand the logs are somewhere on the servers however the irc website has
not been set up. I suggest you ping the ticket.

Chris



More information about the devel mailing list