Renaming terminals
In the list of open pages, terminals are named by the $PWD
, which means there is no way to differentiate between two terminals which would be in the same directory. It would be useful to be able to rename them.
In the list of open pages, terminals are named by the $PWD
, which means there is no way to differentiate between two terminals which would be in the same directory. It would be useful to be able to rename them.