Closed CarlottaSartore closed 1 year ago
Thanks @traversaro ! I wanted to implement this:
Minor comments. I also had a comment on the notebook, but for some reason I can't comment. Instead of downloading a whole repo, it may be faster to just download https://raw.githubusercontent.com/icub-tech-iit/ergocub-gazebo-simulations/master/models/stickBot/model.urdf .
But I am not finding a way to avoid copy the whole repo, via gitpython
, (e.g. https://stackoverflow.com/questions/51239168/how-to-download-single-file-from-a-git-repository-using-python) do you know how can be done ? thanks
But I am not finding a way to avoid copy the whole repo, via
gitpython
, (e.g. https://stackoverflow.com/questions/51239168/how-to-download-single-file-from-a-git-repository-using-python) do you know how can be done ? thanks
(disclaimer, untested chatgpt generated code, but I think you get the idea):
import urllib.request
url = 'https://raw.githubusercontent.com/icub-tech-iit/ergocub-gazebo-simulations/master/models/stickBot/model.urdf'
destination = 'stickbot_model.urdf'
urllib.request.urlretrieve(url, destination)
(disclaimer, untested chatgpt generated code, but I think you get the idea):
Done in a956e56ebd1044072f207b5e312c1e6c0b233d7a
Actually, this meant changing the dependency (and with it the installation) from gitpython
to urllib3
,at first I was not so happy about it but by thinking more about it, is not a big harm since is used only in the example.
Thanks everybody ! Merging !
Populating the repository and add first installation procedure.
For now, for
urdf-modifier
we depend on a fork, I am planning soon to open a PR upstream to fix this