linux redirection syntax update