linux:redos