Làm thế nào để thiết lập số đề tại thời gian chạy (tránh + RTS -N #)

Question

Tôi muốn chạy các chương trình song song của tôi như

$ myprogram <args> -n 4 <args> 

thay

$ myprogram <args> +RTS -N4 -RTS <args> 

lý do chính là để chuẩn hóa định dạng đối số trên các chương trình của tôi.

tôi biết nó sẽ có thể làm như

$ myprogramwrapper <args> -n 4 <args> 
$ cat myprogramwrapper 
#!/bin/bash 
ARG1=parse args 
ARG2=... 
NCORES=.... 
myprogram $ARG1 ... +RTS -N$NCORES 

nhưng nó xấu xí.

Cảm ơn rất nhiều! :)

Answer 1

Bạn có thể sử dụng hàm setNumCapabilities khi chạy.