I have tried redirecting the terminal output to a file using tee
and >
as in the examples here and the question. It worked for echo test | tee log.txt
or ls -l | tee log.txt
But It does not work (does not add anything to the log.txt) when I run a command like divine verify file.dve | tee log.txt
where divine is an installed tool. Any ideas or alternatives?