result .direnv .pdf