[xmonad] Issue 210 in xmonad: xmonad.hs not accepted, xmonad.errors empty

[codesite-noreply at google.com]

Issue 210: xmonad.hs not accepted, xmonad.errors empty
http://code.google.com/p/xmonad/issues/detail?id=210

New issue report by h.stenstrom:
What steps will reproduce the problem?
1. Install latest xmonad on Ubuntu
2. Create the directory ~/.xmonad
3. Copy the file xmonad.hs.gz from
/usr/share/doc/libghc6-xmonad-doc/examples and ungzip it.
4. Log out
5. Tell gdm that you want xmonad as a window manager
6. There is one window, which fills the screen. It says:

Error detected while loading xmonad configuration file:
/localhome/helge/.xmonad/xmonad.hs

Please check the file for errors.

(note: my account is not on /home, but on /localhome. I use /home for NIS
accounts only)

7. Note that there is a newly created or updated file
~/xmonad/xmonad.errors. Note that it is empty (0 bytes)

8. Deliberately insert some syntax errors in the xmonad.hs file, to see if
they are logged in the xmonad.errors file.

9. Note that the error file is still empty.

What is the expected output? What do you see instead?

I expect error explanations in the xmonad.errors file
Or I expect the example file to work out-of-the-box.


What version of the product are you using? On what operating system?
xmonad: 0.6-3
OS: Ubuntu 8.04 (Linux)

Please provide any additional information below.

There is a file ~/.xsession-errors which has the following last line:
/localhome/helge/.xmonad/xmonad-i386-linux: executeFile: does not exist (No
such file or directory)

Indeed, there is no such file. I created the directory myself. How should
the file come into existance?

If this error is due to a module from XMonadContrib, please tag this issue
with 'Component-Contrib' below.



Issue attributes:
	Status: New
	Owner: ----
	Labels: Type-Defect Priority-Medium

-- 
You received this message because you are listed in the owner
or CC fields of this issue, or because you starred this issue.
You may adjust your issue notification preferences at:
http://code.google.com/hosting/settings