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
We look for the SSH PID then store that, but if there is a reconnection we could get a new SSH process and now we are pointing to the wrong log file.
Also, if you are not currently connected the command gives you nothing. Maybe we should open the directory in that case and show a file picker ordered by recency? Or just always open the most recent one? That would also solve the above case.
The text was updated successfully, but these errors were encountered:
We look for the SSH PID then store that, but if there is a reconnection we could get a new SSH process and now we are pointing to the wrong log file.
Also, if you are not currently connected the command gives you nothing. Maybe we should open the directory in that case and show a file picker ordered by recency? Or just always open the most recent one? That would also solve the above case.
The text was updated successfully, but these errors were encountered: