Dollar signs in terminal commands