10 Mar
2005
10 Mar
'05
12:26 p.m.
When I double-click the icon, I get *two* Terminal windows started, one running ghci, the other just an ordinary shell. Is this intended?
No, that's the Terminal's default behaviour of opening an empty window when it is launched, before receiving the command to "open a new terminal window and execute a command". I might be able to work around this, though, by first checking whether Terminal is already open, and using different commands based on that. Cheers, Wolfgang