how to curl terminal