Issue #481 described failure to load utoprc from its stated location
PR #475 misidentified the issue as an incorrect README
In fact the paths were pointing to files within the XDG base directories themselves rather than in a subdirectory for the utop application.
This patch simply changes $XDG_STATE_HOME/utop-history to $XDG_STATE_HOME/utop/utop-history and $XDG_CONFIG_HOME/utoprc to $XDG_CONFIG_HOME/utop/utoprc
Issue #481 described failure to load utoprc from its stated location PR #475 misidentified the issue as an incorrect README
In fact the paths were pointing to files within the XDG base directories themselves rather than in a subdirectory for the utop application.
This patch simply changes $XDG_STATE_HOME/utop-history to $XDG_STATE_HOME/utop/utop-history and $XDG_CONFIG_HOME/utoprc to $XDG_CONFIG_HOME/utop/utoprc