Dear all,

would you please advise me : i am aiming to download many files from Galaxy as a friend shared a few links such as :

https://usegalaxy.eu/datasets/11ac94870d0bb33ae4b36f2e3839f8ec/display?to_ext=fastq.gz

Shall i use curl :

*curl -o outfile https:/usegalaxy.eu/datasets/11ac94870d0bb33ae4b36f2e3839f8ec/display?to_ext=fastq.gz

% Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0curl: (6) Could not resolve host: https; Unknown error*

or wget :

*wget -O outfile https:/usegalaxy.eu/datasets/11ac94870d0bb33ae4b36f2e3839f8ec/display?to_ext=fastq.gz

--2021-06-30 13:03:42-- ftp://https//usegalaxy.eu/datasets/11ac94870d0bb33ae4b36f2e3839f8ec/display?to_ext=fastq.gz => ‘.listing’ Resolving https (https)... failed: Name or service not known. wget: unable to resolve host address ‘https’*

thanks a lot !