red - Red ファイルの Red/System パーツから値を取得する方法

Question

ファイルの読み取りと書き込みにRed バインディングを使用していますが、ハードコードされたファイル名のバージョンはうまく機能します。しかし、コマンドラインから動的にファイル名を取得したいです。現在、そのRedようなユーティリティはありません。で作ってみましたRed/System。Redコマンド ライン引数を取得できるようになりましたが、それをパーツに渡す方法がわかりません。source-file以下の例のように、 andtarget-fileにandを渡す必要がreadありwriteます。

Red []

#include %input-output.red

#system-global [
    args: system/args-list
    args: args + 1
    source-file: args/item
    args: args + 1
    target-file: args/item

    print [source-file target-file ]

]

data: read source-file
probe data
write target-file data