# Magic here! This tee and save both stdout and stderr in distinct files without messing with them
# Time just get the user time
$TIME "$@" > >(tee "${name}.out") 2> >(tee "${name}.2.out" >&2)
# Magic here! This tee and save both stdout and stderr in distinct files without messing with them
# Time just get the user time
$TIME "$@" > >(tee "${name}.out") 2> >(tee "${name}.2.out" >&2)