10 Jul
2001
10 Jul
'01
2:54 p.m.
Jose Emilio Labra Gayo
However, if I write my own ".ghci", I obtain: [...] *** WARNING: ./.ghci is writable by someone else, IGNORING!
Yes, I got bitten by this too! Just a guess, but are you using a system which allocates a unique default group to every user and then sticks with an 002 umask universally? If so, the quick fix is to 'chmod g-w' the relevant .ghci files. If doing this annoys you too much, I guess you could easily fix the checkPerms function (somewhere around line 200 of InteractiveUI.hs) to understand that if you're the only member of a group, it doesn't matter whether or not g+w is set. Cheers, Chris.