On Tue, Jul 01, 2014 at 06:44:01PM +0400, Pavel Emelyanov wrote: > > Could work too. I'd prefer separate file, since manual dumping would be as easy as > > criu dump -t $pid $(cat $test.opts) > > instead of more complicated > > criu dump -t $pid $(cat $test.c | fgrep 'criu-opts:' | sed -e 's/^.*criu-opts://') > > :) OK ;)