so on the linux command line type