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 command still should work, under condition that wiki is working. Recently it was working for a few days, then stopped again. Then we could put the salvaged contents back into https://gitlab.com/yade-dev/trunk/wikis/home And put it under https://yade-dem.org/wiki/ > A little change is that you will see "gitlab.io" appearing in the adress Hm, currently when I go to address yade-dem.org it is not appended with gitlab.io, if that's what you mean. Bruno Chareyre said: (by the date of Fri, 1 Feb 2019 12:02:50 +0100) > Done. > /yade-dem.org/doc// now goes to the gitlab output. > > A little change is that you will see "gitlab.io" appearing in the adress > bar of your browser, but old bookmarks should still work as usual (else > let me know). This substitution in the url is somehow transitory, but it > may still remain in that state for a while (until we migrate also > /yade-dem.org/doc/publi/ and///yade-dem.org/doc/packages/, for the > moment they are still on 3SR server). -- Janek Kozicki _______________________________________________ Mailing list: https://launchpad.net/~yade-dev Post to : yade-dev@lists.launchpad.net Unsubscribe : https://launchpad.net/~yade-dev More help : https://help.launchpad.net/ListHelp