HF RL Explorer

shrinkuser does not replace home directory prefix with ~

shrinkuser does not replace home directory prefix with ~: a task in repo2rlenv-swe-smith (Harbor dataset). boltons.pathutils.shrinkuser is supposed to replace the user's home directory prefix in a path with ~ (or a custom token), analogous to the inverse of os.path.expanduser . However, it…

The task

`boltons.pathutils.shrinkuser` is supposed to replace the user's home directory prefix in a path with `~` (or a custom token), analogous to the inverse of `os.path.expanduser`. However, it currently returns the path unchanged (just normalised) instead of substituting the home prefix.

Part of FineEnvs/repo2rlenv-swe-smith.