This is just a quick tip to anyone that wants to download datafiles that were originally loaded to any S3 bucket visible to a tag and now wants to download that file to a local directory.
First, locate the exact file in the S3 bucket, using S3.listFiles (example below):
Be sure to expand the file list to capture the entire file name (if the name is too long, a sneaky ‘…’ appears in the file name, which can be difficult to spot, unless you are aware of the possibility).
Then once you have that, use curl in terminal and the tag url to download the file (-o option of curl saves the file):
curl -o “GasThrouput1.csv” https://tenant-stage.c3iot.com/file/1/tenant/ferenc/s3://igbuild-digital-data-staging/Pi_Priority_Data/Csv/C3GasThroughPumpModel.csv/part-00000-e53d8736-9015-456c-aa2e-3b562760bf5d-c000.csv -u email@example.com:*****
The above will save a file called GasThroughput1.csv to your current directory. As it runs, you will see the progress bar showing you how much of the file has been downloaded, as the screenshot below: