Thanks for flagging this, @Guido_Pastorino - we are looking into this. In the interim, does @romannurik’s suggestion here work:
Thanks @kirupa !!
I have found a solution, it was solved by just holding down the following keys:
- ControlLeft
- ShiftLeft
- Semicolon
(or the command to create a new terminal)
until a new bash terminal appears, and it works really good!! I recommend doing this when facing this bug.
Thank you for confirming! We’re still looking into this sporadic issue and hope to have a complete fix soon.
We believe that the root cause for the issue has been identified and fixed. Please reply if you still have problems with the terminal. Thanks
