diff options
| author | Eduardo Julian | 2021-07-06 21:34:21 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2021-07-06 21:34:21 -0400 |
| commit | 2b909032e7a0bd10cd7db52067d2fb701bfa95e5 (patch) | |
| tree | 0e2aaef228f80f3336715327f7f34065c309de22 /stdlib/source/program/aedifex/metadata.lux | |
| parent | 5cf4efa861075f8276f43a2516f5beacaf610b44 (diff) | |
Simplified the API for file-system operations.
Diffstat (limited to 'stdlib/source/program/aedifex/metadata.lux')
| -rw-r--r-- | stdlib/source/program/aedifex/metadata.lux | 14 |
1 files changed, 11 insertions, 3 deletions
diff --git a/stdlib/source/program/aedifex/metadata.lux b/stdlib/source/program/aedifex/metadata.lux index 86981eb62..7fbe88cbc 100644 --- a/stdlib/source/program/aedifex/metadata.lux +++ b/stdlib/source/program/aedifex/metadata.lux @@ -1,7 +1,7 @@ (.module: [lux #* [data - [text + ["." text ["%" format (#+ format)]]] [world [file (#+ Path)] @@ -10,7 +10,7 @@ ["." // #_ ["#." artifact (#+ Artifact)]]) -(def: #export remote_file +(def: remote_file Path "maven-metadata.xml") @@ -29,6 +29,14 @@ / (get@ #//artifact.name artifact) / ..remote_file))) -(def: #export local_file +(def: local_file Path "maven-metadata-local.xml") + +(def: #export (local_uri remote_uri) + (-> URI URI) + (text.replace_once ..remote_file ..local_file remote_uri)) + +(def: #export (remote_uri local_uri) + (-> URI URI) + (text.replace_once ..local_file ..remote_file local_uri)) |