search

pep-dortmund / toolbox-workshop

Materialien zum PeP et al. Toolbox-Workshop
http://toolbox.pep-dortmund.org
Other
26 stars 6 forks source link

Wget tex fix #223

Closed chrbeckm closed 4 years ago

chrbeckm commented 4 years ago

the wget for pictures of knuth and lamport didn't work for me

maxnoe commented 4 years ago

I had the same problem and found a solution that still supports downloading: you need to set a user agent:

 wget -U 'Mozilla/5.0 (X11; Linux x86_64; rv:77.0) Gecko/20100101 Firefox/77.0' ...

but maybe adding the files to the repo is just easier

chrbeckm commented 4 years ago

adding the files is easier, your solution doesn't work for me neither on Ubuntu or Windows

maxnoe commented 4 years ago

This is what I use and it works fine:

       wget -U 'Mozilla/5.0 (X11; Linux x86_64; rv:77.0) Gecko/20100101 Firefox/77.0' \
               http://amturing.acm.org/images/Lamport_2.jpg \
               -O $@ \
               --no-use-server-timestamps
chrbeckm commented 4 years ago

Thats the case for me too, it works for ´lamport´, not for ´knuth´. I think saving the all files in the ´common´-folder is the best way.