That pipes the info into file.txt , but I want to extract the information from file.txt .