Related
k guest When I use ubuntu 14.04 it is easy to set the title. Just press F2 or move your mouse to the top menu. But there is no menu on ubuntu 16.04 and pressing F2 cannot change the title. How should I do? Videonauth Many programs will override the title, so y
Isidro Serrano Pineda I work in Windows 10 and normally I can have up to 5 CMD windows open. I work this way because I need to run the same application with different data and keep monitoring if any exceptions are thrown. I set the number to be the title of th
Isidro Serrano Pineda I work in Windows 10 and normally I can have up to 5 CMD windows open. I work this way because I need to run the same application with different data and keep monitoring if any exceptions are thrown. I set the number to be the title of th
Isidro Serrano Pineda I work in Windows 10 and normally I can have up to 5 CMD windows open. I work this way because I need to run the same application with different data and keep monitoring if any exceptions are thrown. I set the number to be the title of th
nude I have several instances of terminals running in my work environment, and I would like to set a specific title for each terminal so that it is clear what a specific terminal is for, e.g. Apache, editing_ini, postgres, etc. From the command line, of course
nude I have several instances of terminals running in my work environment, and I would like to set a specific title for each terminal so that it is clear what a specific terminal is for, e.g. Apache, editing_ini, postgres, etc. From the command line, of course
Ferry I can change the title of the terminal with: echo -en '\033]0;20.11\a'
But if I use it after the sshcommand , it doesn't work: ssh
[email protected];echo -en '\033]0;20.11\a'
In this case the title changes only when I log out 192.168.20.11. Is there a
Isidro Serrano Pineda I work in Windows 10 and normally I can have up to 5 CMD windows open. I work this way because I need to run the same application with different data and keep monitoring if any exceptions are thrown. I set the number to be the title of th
Isidro Serrano Pineda I work in Windows 10 and normally I can have up to 5 CMD windows open. I work this way because I need to run the same application with different data and keep monitoring if any exceptions are thrown. I set the number to be the title of th
nude I have several instances of terminals running in my work environment, and I would like to set a specific title for each terminal so that it is clear what a specific terminal is for, e.g. Apache, editing_ini, postgres, etc. From the command line, of course
Ferry I can change the title of the terminal with: echo -en '\033]0;20.11\a'
But if I use it after the sshcommand , it doesn't work: ssh
[email protected];echo -en '\033]0;20.11\a'
In this case the title changes only when I log out 192.168.20.11. Is there a
Linnob I don't know whether to ask this question here or on unix.stackexchange.com , I found it here . My problem is similar, I want to change the title of the terminal, I am using a Debian based distro, terminator and ZSH, the title of oh-my-zsh is suitable f
Linnob I don't know whether to ask this question here or on unix.stackexchange.com , I found it here . My problem is similar, I want to change the title of the terminal, I am using a Debian based distro, terminator and ZSH, the title of oh-my-zsh is suitable f
Chris Cirefice In Ubuntu 14.10 LTS, I can set the title of the terminal tab by simply right clicking and selecting Set Title . This is using the default terminal application .gnome-terminal In Ubuntu 16.04 LTS, I can no longer set the title and the terminal ap
Chris Cirefice In Ubuntu 14.10 LTS, I can set the title of the terminal tab by simply right clicking and selecting Set Title . This is using the default terminal application .gnome-terminal In Ubuntu 16.04 LTS, I can no longer set the title and the terminal ap
Chris Cirefice In Ubuntu 14.10 LTS, I can set the title of the terminal tab by simply right clicking and selecting Set Title . This is using the default terminal application .gnome-terminal In Ubuntu 16.04 LTS, I can no longer set the title and the terminal ap
Chris Cirefice In Ubuntu 14.10 LTS, I can set the title of the terminal tab by simply right clicking and selecting Set Title . This is using the default terminal application .gnome-terminal In Ubuntu 16.04 LTS, I can no longer set the title and the terminal ap
behemoth cat I have several terminal-based programs that I can never do. When I start them from the command line, something like gnome-terminal --command foo
Or when I make a Foo.desktop file and click the icon in the Applications overview, Gnome does the rig
behemoth cat I have several terminal-based programs that I can never do. When I start them from the command line, something like gnome-terminal --command foo
Or when I make a Foo.desktop file and click the icon in the Applications overview, Gnome does the rig
QQ I used this method in 18.04 ( https://joshtronic.com/2017/07/26/hide-title-bars-in-gnome-shell/ ) but it doesn't work now... Any ideas? PS I am using a standard desktop environment PPS to be more precise: I used to have a clean terminal without any bars, st
Mark Alex I remember there was an option in gnome-terminal to set a shortcut in the Edit menu. I've upgraded to ubuntu 13.10 and installed gnome3, and I'm trying to make shortcuts to gnome-terminal, specifically setting titles for tabs in terminal. What should
Mark Alex I remember there was an option in gnome-terminal to set a shortcut in the Edit menu. I've upgraded to ubuntu 13.10 and installed gnome3, and I'm trying to make shortcuts to gnome-terminal, specifically setting titles for tabs in terminal. What should
Mark Alex I remember there was an option in gnome-terminal to set a shortcut in the Edit menu. I've upgraded to ubuntu 13.10 and installed gnome3, and I'm trying to make shortcuts to gnome-terminal, specifically setting titles for tabs in terminal. What should
Mathias Strohkirch /home/user/I would like to know how to change the starting directory of the Windows terminal from C:/Users/user. I tried a few things I found, but nothing worked. Here is my current configuration file specified in my settings.json file: {
Mathias Strohkirch /home/user/I would like to know how to change the starting directory of the Windows terminal from C:/Users/user. I tried a few things I found, but nothing worked. Here is my current configuration file specified in my settings.json file: {
Mathias Strohkirch /home/user/I would like to know how to change the starting directory of the Windows terminal from C:/Users/user. I tried a few things I found, but nothing worked. Here is my current configuration file specified in my settings.json file: {
expert How to change terminal font on Ubuntu MATE? It seems that there are two terminals in MATE. One is "MATE Terminal", which has a nice readable font, and the other is what I use when launching applications created in GUI menus How can I change it? Screensh
Sam I want to change terminal background on Ubuntu 18.04 . In Ubuntu 14.04 there is an option where you can go to where you can change the background image of the terminal. But I can't find this on Ubuntu 18.04. edit > profile preference Daniel Sadly, that opt
kk What command or program do I need to run to change the clock speed to the specific value I want? For example, I'm looking for <command name> 1.7something like or similar to change the speed to a specified frequency in GHz or MHz. I wish to use the terminal