Sigbjorn Finne: > ok. Surely you could just temporarily set it as such, followed by config'ing > it for that repo only > rather than have it be global? I suspect tweaking that one file instead will > just be the first of > many such tweaks.. Yes, that would be the best solution if i want to download the GHC source code again.