HF RL Explorer

I want AfcService.rename(source: str, target: str) - None to move or rename a file or directory on the…

I want AfcService.rename(source: str, target: str) - None to move or rename a file or directory on the…: a task in MiMo-V2.6-RL-harbor-code: MiMo-V2.6-RL Code (Harbor) (Harbor dataset). In a normal session, after await afc.set file contents("source.txt", b"data") , calling await…

The task

In a normal session, after `await afc.set_file_contents("source.txt", b"data")`, calling `await afc.rename("source.txt", "dest.txt")` should return `None`, `await afc.get_file_contents("dest.txt")` should return `b"data"`, and trying to read `"source.txt"` should raise `AfcFileNotFoundError`. It should also support…

Part of FineEnvs/MiMo-V2.6-RL-harbor-code.