018 2:41:43 PM
> To: gem5 Developer List; Gabe Black
> Subject: Re: [gem5-dev] Fix opengrok or remove the link from gem.org
> sidebar
>
> How about switching to a hosted service that integrates with our git
> repositories directly?
>
> I have played around with ins
x it? Still seems broken to me.
>>>
>>>
>>> If not, can we just remove the link for now, and put it back up if
>> someone
>>> fixes it?
>>>
>>>
>>> Looks bad for the project to have a broken link on the sidebar 😉
>>>
&g
gets fixed?
From: gem5-dev on behalf of Gabe Black <
gabebl...@google.com>
Sent: Tuesday, March 13, 2018 10:33:44 PM
To: gem5 Developer List
Subject: Re: [gem5-dev] Fix opengrok or remove the link from gem.org
sidebar
For whatever reason, I find that my administ
7, 2018 10:12:42 PM
To: gem5 Developer List
Subject: Re: [gem5-dev] Fix opengrok or remove the link from gem.org sidebar
I don't think removing the link is helpful. We should fix the service it
links to.
Gabe
On Sat, Apr 7, 2018 at 1:14 PM, Ciro Santilli wrote:
> Ping.
>
>
> C
f of Gabe Black <
> gabebl...@google.com>
> Sent: Tuesday, March 13, 2018 10:33:44 PM
> To: gem5 Developer List
> Subject: Re: [gem5-dev] Fix opengrok or remove the link from gem.org
> sidebar
>
> For whatever reason, I find that my administrative access on gem5.org
> come
Ping.
Can we remove the link until it gets fixed?
From: gem5-dev on behalf of Gabe Black
Sent: Tuesday, March 13, 2018 10:33:44 PM
To: gem5 Developer List
Subject: Re: [gem5-dev] Fix opengrok or remove the link from gem.org sidebar
For whatever reason, I
_
> From: gem5-dev on behalf of Gabe Black <
> gabebl...@google.com>
> Sent: Tuesday, February 27, 2018 12:40:39 AM
> To: gem5 Developer List
> Subject: Re: [gem5-dev] Fix opengrok or remove the link from gem.org
> sidebar
>
> It looks like changing to git wou
, February 27, 2018 12:40:39 AM
To: gem5 Developer List
Subject: Re: [gem5-dev] Fix opengrok or remove the link from gem.org sidebar
It looks like changing to git would be pretty easy, since that's handled in
/etc/cron.daily/opengrok:
#!/bin/bash
cd /var/opengrok/src/gem5
hg pull
hg upda
It looks like changing to git would be pretty easy, since that's handled in
/etc/cron.daily/opengrok:
#!/bin/bash
cd /var/opengrok/src/gem5
hg pull
hg update
/z/opengrok/bin/OpenGrok update
On Mon, Feb 26, 2018 at 4:39 PM, Gabe Black wrote:
> Also it doesn't help that I don't have permission t
Also it doesn't help that I don't have permission to access any of the logs
for tomcat or apache. But looking at the output of ps -ef, I don't see
tomcat running, so I don't think the opengrok server bit is running which
would fit with the other bit of log I was able to access.
Also I notice that
I'm not up on how opengrok is hooked into the gem5.org site, but I ssh-ed
in and saw this in one of the log files:
2018-02-24 06:42:31.799-0500 INFO t1 Indexer.sendToConfigHost: Send
configuration to: localhost:2424
2018-02-24 06:42:31.813-0500 SEVERE t1 Indexer.sendToConfigHost: Failed to
send co
On http://gem5.org on the sidebar there is a link "Search Source" that points
to http://grok.gem5.org/ which gives "Service Unavailable".
Can we either fix the instance, or remove the link?
Personally, I'd just remove it, GitHub + ctags is enough for me.
IMPORTANT NOTICE: The contents of thi
12 matches
Mail list logo
