search

ros / resource_retriever

Package used to retrieve resources of different kinds, e.g. http://, file://, the ROS specific package://, etc.
8 stars 42 forks source link

support spaces in filenames/directories #84

Closed simonschmeisser closed 4 months ago

simonschmeisser commented 1 year ago

Apparently URLs containing spaces are rejected by newer versions of curl:

https://stackoverflow.com/questions/69254520/how-to-use-curlu-allow-space-with-curl-easy-perform https://github.com/curl/curl/pull/7073

will open a corresponding PR tomorrow