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
Currently bat does not change the terminal title. Showing the file name in the terminal can be useful for navigating between terminal tabs.
For example, the following script sets the terminal title to the file name before displaying it with bat:
#!/bin/bashecho -ne "\033]0;$1\007"
bat $1
The actual implementation inside bat should be more sophisticated by setting the title appropriately when viewing multiple files, resetting the title on exit etc.
The text was updated successfully, but these errors were encountered:
Currently bat does not change the terminal title. Showing the file name in the terminal can be useful for navigating between terminal tabs.
For example, the following script sets the terminal title to the file name before displaying it with bat:
The actual implementation inside bat should be more sophisticated by setting the title appropriately when viewing multiple files, resetting the title on exit etc.
The text was updated successfully, but these errors were encountered: