View Single Post
  #2   (View Single Post)  
Old 1st May 2012
jggimi's Avatar
jggimi jggimi is offline
More noise than signal
 
Join Date: May 2008
Location: USA
Posts: 7,977
Default

From your problem description, it sounds like the $PATH environment variable is unset or not set correctly. By default, ghc and ghci should be found in /usr/local/bin, and that does not appear to be in $PATH at the time you attempt to issue the command.

I'm not a Gnome user; if you use Google with "gnome" and "$path" as keywords there are plenty of hits and you may find a fix on the first page.
Reply With Quote