ROS Resources: Documentation | Support | Discussion Forum | Index | Service Status | ros @ Robotics Stack Exchange |
1 | initial version |
A dump of the wiki and api can be found at http://www.ros.org/wiki_dump/ I setup a wiki-mirror at http://ros.informatik.uni-freiburg.de/roswiki/, but it is rather outdated. Will fix that next week.
2 | No.2 Revision |
A dump of the wiki and api can be found at http://www.ros.org/wiki_dump/ The files in here and here help to get the look right.
I setup a wiki-mirror at http://ros.informatik.uni-freiburg.de/roswiki/, but it is rather outdated. Will fix that next week.
3 | Script to mirror wiki and api doc |
A dump of the wiki and api can be found at http://www.ros.org/wiki_dump/
The files in here and here help to get the look right.
I setup a wiki-mirror at http://ros.informatik.uni-freiburg.de/roswiki/, but it is rather outdated. Will fix that next week.
Wrote this today, didn't fully test it yet!
#!/bin/bash
pushd /var/www/
echo Downloading Wiki-Dump
if wget http://www.ros.org/wiki_dump/roswiki.tar.gz; then
rm -rf roswiki-old
mv roswiki roswiki-old
echo Extracting Wiki-Dump
pv roswiki.tar.gz|tar xz
echo Extracting Wiki-Theme
tar xzf rostheme.tgz -C roswiki
echo Downloading API-Dump
if wget http://www.ros.org/wiki_dump/doc.tar.gz; then
echo Extracting API-Dump
pv doc.tar.gz|tar xz -C roswiki
fi
fi
It assumes your web root is /var/www and you want it in the subdirectory "roswiki". Also you need to have placed rostheme.tgz from the link above in /var/www
4 | pv info |
A dump of the wiki and api can be found at http://www.ros.org/wiki_dump/ The files in here help to get the look right.
I setup a wiki-mirror at http://ros.informatik.uni-freiburg.de/roswiki/, but it is rather outdated. Will fix that next week.
Wrote this today, didn't fully test it yet!
#!/bin/bash
pushd /var/www/
echo Downloading Wiki-Dump
if wget http://www.ros.org/wiki_dump/roswiki.tar.gz; then
rm -rf roswiki-old
mv roswiki roswiki-old
echo Extracting Wiki-Dump
pv roswiki.tar.gz|tar xz
echo Extracting Wiki-Theme
tar xzf rostheme.tgz -C roswiki
echo Downloading API-Dump
if wget http://www.ros.org/wiki_dump/doc.tar.gz; then
echo Extracting API-Dump
pv doc.tar.gz|tar xz -C roswiki
fi
fi
It assumes your web root is /var/www and you want it in the subdirectory "roswiki". Also you need to have placed rostheme.tgz from the link above in /var/www
The pv pipes serve to show progress, which is nice to have for big file. pv is apt-gettable, but you can also coust omit it and give the file directly to tar, as done for rostheme.tgz
5 | Flag for overwriting downloaded files instead of clobbering and extracting the old one |
A dump of the wiki and api can be found at http://www.ros.org/wiki_dump/ The files in here help to get the look right.
I setup a wiki-mirror at http://ros.informatik.uni-freiburg.de/roswiki/, but it is rather outdated. Will fix that next week.
Wrote this today, The below script is what I use now. didn't fully test it yet!The previous version had a bug, always reusing the first download of the tarballs!
#!/bin/bash
pushd /var/www/
echo Downloading Wiki-Dump
if wget -N http://www.ros.org/wiki_dump/roswiki.tar.gz; then
then #-N triggers timestamping, i.e., only fetch if newer, then overwrite existing
rm -rf roswiki-old
mv roswiki roswiki-old
echo Extracting Wiki-Dump
pv roswiki.tar.gz|tar xz
echo Extracting Wiki-Theme
tar xzf rostheme.tgz -C roswiki
echo Downloading API-Dump
if wget -N http://www.ros.org/wiki_dump/doc.tar.gz; then
echo Extracting API-Dump
pv doc.tar.gz|tar xz -C roswiki
fi
fi
It assumes your web root is /var/www and you want it in the subdirectory "roswiki". Also you need to have placed rostheme.tgz from the link above in /var/www
The pv pipes serve to show progress, which is nice to have for big file. pv is apt-gettable, but you can also coust omit it and give the file directly to tar, as done for rostheme.tgz
6 | No.6 Revision |
UPDATE: This has been deprecated and is officially documented at: http://wiki.ros.org/Mirrors on the wiki.
A dump of the wiki and api can be found at http://www.ros.org/wiki_dump/ The files in here help to get the look right.
I setup a wiki-mirror at http://ros.informatik.uni-freiburg.de/roswiki/, but it is rather outdated. Will fix that next week.
The below script is what I use now. The previous version had a bug, always reusing the first download of the tarballs!
#!/bin/bash
pushd /var/www/
echo Downloading Wiki-Dump
if wget -N http://www.ros.org/wiki_dump/roswiki.tar.gz; then #-N triggers timestamping, i.e., only fetch if newer, then overwrite existing
rm -rf roswiki-old
mv roswiki roswiki-old
echo Extracting Wiki-Dump
pv roswiki.tar.gz|tar xz
echo Extracting Wiki-Theme
tar xzf rostheme.tgz -C roswiki
echo Downloading API-Dump
if wget -N http://www.ros.org/wiki_dump/doc.tar.gz; then
echo Extracting API-Dump
pv doc.tar.gz|tar xz -C roswiki
fi
fi
It assumes your web root is /var/www and you want it in the subdirectory "roswiki". Also you need to have placed rostheme.tgz from the link above in /var/www
The pv pipes serve to show progress, which is nice to have for big file. pv is apt-gettable, but you can also coust omit it and give the file directly to tar, as done for rostheme.tgz