On 2/1/19 12:32 PM, Janek Kozicki wrote:
I was hoping to salvage our dead wiki with command:
wget --convert-links -r -l 5 https://yade-dem.org/wiki/
because sometimes wiki was working, and then wget would work and
download everything.
But now it is 404.
Try now, it should be ok (I can at le
I was hoping to salvage our dead wiki with command:
wget --convert-links -r -l 5 https://yade-dem.org/wiki/
because sometimes wiki was working, and then wget would work and
download everything.
But now it is 404. Unless you can tell me the previous IP number of
that address in which case this co
On 1/31/19 11:59 AM, Bruno Chareyre wrote:
Is our doc now located at that place, and no more at
https://yade-dem.org/doc/ ?...
We will redirect yade-dem.org/doc/ to gitlab.io pages. By tomorrow I
guess.
Done.
/yade-dem.org/doc// now goes to the gitlab output.
A little change is that you w
Hi,
On 1/31/19 9:28 AM, Jerome Duriez wrote:
What's this https://yade-dev.gitlab.io/trunk/ ?...
That's where the gitlab pipeline [1] is pushing the html generated from
master branch.
In fact the html output of *every* successful build can be accessed as
well (e.g. [2]), it was not the case wit
Hi,
[1]https://yade-dev.gitlab.io/trunk/github.html?highlight=gitlab#pushing-changes-to-remote-repository
What's this https://yade-dev.gitlab.io/trunk/ ?...
Is our doc now located at that place, and no more at
https://yade-dem.org/doc/ ?...
Jérôme
--
Chargé de Recherche / Research
On 1/29/19 11:24 PM, Janek Kozicki wrote:
Hi, have you seen merge request by Vasileios?
https://gitlab.com/yade-dev/trunk/merge_requests/48
I remember that you said something about pipelines not working from
other people's accounts.
Yes.
There should be a way to solve this in general mann
6 matches
Mail list logo