⇒ cat script.sh
#!/bin/sh
i=1;
while true; do
echo $i;
i=$((i+1));
sleep 1
done
⇒ ./script.sh
1
2
3
4
# More output, this is the point where I ran criu in the other shell
78
[1] 14822 killed ./script.sh
# Other shell, ran ps aux to find process id
⇒ sudo criu dump -t 14822 --shell-job -vvvv -o dump.log
⇒ sudo criu restore -vvvv -o dump.log --shell-job
79
80
# etc