Launch it with gnome-terminal –geometry 135×30 (edit the menu or create a new launcher).
Adjust the launchsettings in ~/.xbindkeysrc
“gnome-terminal –geometry 135×30”
m:0x10 + c:116
m:0x10 + c:116
Launch it with gnome-terminal –geometry 135×30 (edit the menu or create a new launcher).
Adjust the launchsettings in ~/.xbindkeysrc
By continuing to use the site, you agree to the use of cookies. more information
An HTTP cookie, is a small piece of text sent from a website and stored in your web browser. Cookies are a reliable mechanism for websites to remember your preferences and improve your browsing experience.
If you continue to use this website without changing your cookie settings or you click "Accept" below then you are consenting to this.
Even better, set up another profile the way you like it and then call it like this:
gnome-terminal –geometry=190×30 –window-with-profile=taillog –command ‘ssh pse03 taillog.py’
so in this case, I have a profile named “taillog” with a tiny monospaced font, white bg, black text, huge buffer, etc. and then map all this to a button/icon on my task bar. It fires open a window with my prefs to the right size and runs a remote ssh login to pipe out the logs to the terminal.
Schweeeet!
http://bugzilla.gnome.org/show_bug.cgi?id=576920 is one I just discovered.