deleting characters in paths in repocli shell is very slow

[achetverikov]

If you enter repocli shell, type in a command (e.g., put) and then a wrong path, deleting it takes a few seconds per character.