The idea was that it's easy to copy paste and use on a remote machine, whereas download roles will often be clicked, and then the file still has to be uploaded to the remote machine. Of course users could also right click, copy the link and then use wget. The annoying thing about the wget lines is that you only get the link to the correct branch after it is published, and so it would also have to be changed. Not very maintenance-friendly.
So perhaps it's better just to stick with download roles and repeat the right-click + wget trick a bunch of times.
In several parts of the tutorial we use
wgetto download files:https://github.com/aiidateam/aiida-tutorials/blob/96966291557fd1e9e8f85b0aa044f9b5823ec764/docs/sections/running_processes/basics.md?plain=1#L56-L58
The idea was that it's easy to copy paste and use on a remote machine, whereas
downloadroles will often be clicked, and then the file still has to be uploaded to the remote machine. Of course users could also right click, copy the link and then usewget. The annoying thing about thewgetlines is that you only get the link to the correct branch after it is published, and so it would also have to be changed. Not very maintenance-friendly.So perhaps it's better just to stick with
downloadroles and repeat the right-click +wgettrick a bunch of times.