Undo will "undo" a failed export

[nus-pe-bot]

Input: export Users/MY_USER_NAME export /Users/mcgymmy -o save_file (show error since no such directory) undo

Then undo will actually do nothing here, in Users/MY_USER_NAME, the saved file is still there, and for the error command export /Users/mcgymmy -o save_file, undo still says undo is successful although actually it is an error command and should inform this to user that undo will not make any difference

---

_{[original: nus-cs2103-AY2021S1/pe-interim#5931]}

[Jh123x]

Team's Response

Thank you for the bug report.

Firstly, we will be changing the severity to Low instead of Medium. This issue is unlikely to affect normal operations of the product and only appears only in the rare instance of undoing an export which causes a minor inconvenience only. Refer to image below:

Also, we will be changing this to a documentation bug as this "issue" is not an issue with the undo command (as removing an exported file is unfeasible) but instead an error with the documentation.

Thus, we will be accepting it as a documentation bug as it was something that wasn't explicitly stated (in the documentation), albeit implied.

Also this is a duplicate bug found in issue #5984.

Duplicate status (if any):

Duplicate of #5984