Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
using "echo foobar > filename" does not work, use tee instead
I guess the execute_command appends another redirection to stdout when calling the command. Therefore the first redirect is useless.
- Loading branch information