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 !