📄 call_refine
字号:
#!/bin/sh#$1 : process number (supplied by prun. 0<=$1<$2)#$2 : process count (supplied by prun.)#$3 : config file (for instance large_20.ini)#$4 : base of run specific config file. ($4-$1 will be the file containing run specific parameters)# Find the line containing the random seed in the run specific config filerandomseed=`grep gen0-seed $4-$1 2>/dev/null | sed s/gen0-seed\ =\ //`outputfile=`grep refine.outputfile $4-$1 2>/dev/null | sed 's/refine.outputfile\ =\ //;s/\"//g;s/scenario/log/'`# This script may be invoked more than needed if we're using multiple processors. In that case some configuration files will be missing, so only run refine if the randomseed was found.echo "call_refine"echo $@if [ $randomseed ]then echo "seed $randomseed" >$outputfile-err echo $outputfile-err ../refine -f$4-$1 -f$3 < /dev/null 1>$outputfile-out 2>>$outputfile-errelse echo $randomseed echo $outputfilefi
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -