sed command for different terminals