Installing Pico

(The downloaded file is the pico executable)

If you are root

Simply copy the downloaded file to /usr/local/bin (or any equivalent directory on your system whose path is in most users' PATH variable), and rename it to "pico".

If you are NOT root

Copy the downloaded file to any convenient location (even /tmp), rename it to "pico", and then create an alias to invoke it:

alias pico=/tmp/pico

Back to the Technical Links page