Unix / Linuxでは、パイプを使用して出力とエラーストリームをファイルに書き込むことができます。同じファイルに書き込むこともできます。どちらもファイルに書き込みながら順序を維持する方法はありますか?この声明は:
swipl -s jobshop.chr < CHRInput > output 2> output
出力ストリームとエラーストリームを含む「output」というファイルが実際に生成されます(通常、これはユーザーとコンソールの対話です)。ただし、出力ストリームはエラーストリームの前に書き込まれます(対話型コンソールを使用するとエラーと出力ストリームがインターリーブされます)。
ベストアンサー1
バッシュの場合、
swipl -s jobshop.chr < CHRInput &> output