Can you guys add an option to move a file to a different file path on mobile?
This would solve the issue of moving files on mobile and the issue of repls not updating when using the “mv” command in the shell.
I have had to move several files while developing my projects and every time I want to on mobile it moves the file in the shell but doesn’t actually update the site. I have also had this issue when pulling updates from GitHub recently too.