always use pico as terminal editor