I don't think pushing to GitHub is a good idea. IMO that is just
polluting
the
repository. If anything it should go into a dedicaetd repository, but not
the
main repo.
I was thinking of a dedicated repository.
Also uploading the logs into a repository still does not give you easy
navigation
and searchabilty.
Yes, searchability and easy navigation are needed facilities in an irc
log.
> But, since minibot is already seeing #minishift all the time and has the
> logs this will be
> pretty trivial, I think we can make a script (a cron job that runs in the
> same system as minibot)
> which pushes the logs daily to a github repo as txt files. We can
organize
> the logs by having a
> _directory_ for the year and inside that directory the logs, where the
file
> name will be the _date_
> for which the log was generated so, one file for each day.
See above.
> If not then we need to find some other place to dump the logs.
That I would think is the preferred solution.
But where? i can think of github pages
, if we get some fancy jekyll theme with nice readability.
Also, is it really so important?!
I belive its not that important but needed nonetheless or something that is
nice to have, as i often find myself greping
through my local logs for an url someone shared or some error message. I
don't think we will point users to the
channel logs to find information.
--Hardy
_______________________________________________
Minishift Mailing List mailing list -- minishift(a)lists.minishift.io
To unsubscribe send an email to minishift-leave(a)lists.minishift.io
--
ANJAN NATH