../../linux-home/%HOME%/.ghci