192 | | * ''automatic renaming'': retrieved files will receive the extension |
193 | | listed as a first element; |
194 | | * ''avoiding duplicate retrievals'': they are considered when deciding whether a file has been |
195 | | already downloaded (equivalence classes). For example, with the alias above, |
196 | | a result file called ''xx_1'' will NOT be retrieved if one of the following files is |
197 | | present in the download directory: |
198 | | ''xx_1.vel'', ''xx_1.vel.gz''. |
| 192 | * ''automatic renaming'': retrieved files will receive the extension listed as a first element; |
| 193 | * ''avoiding duplicate retrievals'': they are considered when deciding whether a file has been already downloaded (equivalence classes). For example, with the alias above, a result file called ''xx_1'' will NOT be retrieved if one of the following files is present in the download directory: ''xx_1.vel'', ''xx_1.vel.gz''. |