J'ai essayé d'utiliser wget pour le télécharger mais sans succès.
https://code.ros.org/trac/wg-ros-pkg/raw-attachment/ticket/5069/rein_cmakelists2.patch
sam@sam:/media/Data/code/ros/recognition/rein$ wget https://code.ros.org/trac/wg-ros-pkg/raw-attachment/ticket/5069/rein_cmakelists2.patch
--2012-10-04 16:29:30-- https://code.ros.org/trac/wg-ros-pkg/raw-attachment/ticket/5069/rein_cmakelists2.patch
Resolving code.ros.org (code.ros.org)... 157.22.19.21
Connecting to code.ros.org (code.ros.org)|157.22.19.21|:443... connected.
HTTP request sent, awaiting response... Read error (Connection reset by peer) in headers.
Retrying.
--2012-10-04 16:29:32-- (try: 2) https://code.ros.org/trac/wg-ros-pkg/raw-attachment/ticket/5069/rein_cmakelists2.patch
sam@sam:/media/Data/code/ros/recognition/rein$
Mais je peux utiliser firefox pour télécharger.
Comment télécharger ce type de fichier avec wget ?
Merci.