2 function post_install {
5 echo "* The default workspace is the working directory."
6 echo "* Call 'cloud9 -w <workspace>' to switch to a different workspace."
7 echo "* To listen on a different port you can use the '-p' switch."
8 echo "* See 'cloud9 --help' for more information."