sort 1.dat && echo "ok"