You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
{{ message }}
This repository has been archived by the owner on Sep 20, 2023. It is now read-only.
Describe the bug
When deleting a folder via terminal, in a second terminal you can still be in that folder. It is not possible to change directory from then on.
Reproduce
Open two terminals at the same time. Create a folder on your device in the first terminal. Navigate into the folder in the first terminal. Delete the folder in the second terminal. When entering any commands in the first terminal the path of the deleted folder still appears.
The text was updated successfully, but these errors were encountered:
Describe the bug
When deleting a folder via terminal, in a second terminal you can still be in that folder. It is not possible to change directory from then on.
Reproduce
Open two terminals at the same time. Create a folder on your device in the first terminal. Navigate into the folder in the first terminal. Delete the folder in the second terminal. When entering any commands in the first terminal the path of the deleted folder still appears.
The text was updated successfully, but these errors were encountered: