並列プログラムを次のように実行したい
$ myprogram <args> -n 4 <args>
代わりは
$ myprogram <args> +RTS -N4 -RTS <args>
主な理由は、私のプログラムで引数の形式を正規化することです。
私はそれができることを知っています
$ myprogramwrapper <args> -n 4 <args>
$ cat myprogramwrapper
#!/bin/bash
ARG1=parse args
ARG2=...
NCORES=....
myprogram $ARG1 ... +RTS -N$NCORES
しかし、それは醜いです。
どうもありがとう!:)