[BUG]

🐛 Bug

Boxoban data is being downloaded in the wrong folder.

To Reproduce

Steps to reproduce the behavior:

Run minihack/scripts/download_boxoban_levels.py
2.Try to run any boxoban environment

Additional context

The reason probably is that Boxoban env is looking for data in the wrong folder:

minihack/minihack/envs/boxohack.py

Lines 11 to 13 in 2989b3b

    
           LEVELS_PATH = os.path.join( 
        
               pkg_resources.resource_filename("nle", "minihack/dat"), 
        
               "boxoban-levels-master",

For some reason it expects the data to be in nle package, while it's being downloaded to the minihack package folder.

Thanks @hr0nix for pointing this out. #42 should fix this.

	LEVELS_PATH = os.path.join(
	pkg_resources.resource_filename("nle", "minihack/dat"),
	"boxoban-levels-master",