| 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''. |