Risposte:
In Ubuntu 16.04 open, selezionare terminal Modifica -> Preferenze Profilo -> Generale scheda e modificare i valori per le colonne e le righe dopo in cui si dice dimensioni del terminale iniziale: .
In Ubuntu 17.10 e successivamente aprire il terminale, selezionare Modifica -> Preferenze -> default profilo -> Testo scheda e modificare i valori per le colonne e le righe dopo in cui si dice dimensioni del terminale iniziale: .
Premi Ctrl + Alt + t per aprire un terminale. Assicurati che il terminale sia ingrandito (se non lo è già) facendo clic sull'icona più a destra nella parte superiore della finestra (il quadrato nel cerchio). Nella parte superiore della finestra, vai a Modifica -> Preferenze profilo, pagina Generale e seleziona Usa dimensioni terminali predefinite personalizzate, quindi imposta le dimensioni orizzontali e verticali preferite. Se desideri uno scorrimento illimitato, vai alla scheda Scorrimento e metti un segno di spunta nella casella Illimitato. Spero che sia di aiuto!
Initial terminal sizevalori.
Ecco un piccolo script per impostare in modo permanente una dimensione della finestra, indipendentemente dal profilo gnome-terminal che stai attualmente utilizzando. Funziona su tutte le finestre appartenenti a gnome-terminal
Per farlo funzionare, hai bisogno di due cose: 1) assicurati di averlo wmctrl installato e 2) esegui questo script come una delle applicazioni di avvio.
Si noti che la linea ha wmctrl -i -r $WMCTRL_ID -e 0,0,0,650,650dimensioni e posizione impostate in base a gravità, posizione x, posizione y, larghezza, formato altezza
#!/bin/bash
# Author: Serg Kolo
# date: Sat, Sept 19,2015
# Purpose: a script to permanently set
# terminal window, size
# Written for: http://askubuntu.com/q/64652/295286
APP_CLASS="gnome-terminal.Gnome-terminal"
while [ 1 ]; do
WIN_ID=$(printf %x $(xdotool getactivewindow))
WM_CLASS=$(wmctrl -lx | awk -v search=$WIN_ID '{ if($1~search) print $3 }')
WMCTRL_ID=$( wmctrl -lx | awk -v search2=$WIN_ID '$0~search2 {print $1}' )
if [ $WM_CLASS = $APP_CLASS ]; then
wmctrl -i -r $WMCTRL_ID -e 0,0,0,650,650
fi
sleep 0.25
done
Linux Mint 19.1 (Xfce)SettingsXfce TerminalTerminal preferencesfinestra inAppearance scheda.Tuttavia, il file di configurazione utente si trova in:
e l'elemento di configurazione è necessario (per Xfce) è:
.
~/.config/xfce4/terminal/terminalrcMiscDefaultGeometry
Ma puoi modificare più velocemente dalla riga di comando con:
sed -E 's/MiscDefaultGeometry=.+$/MiscDefaultGeometry=140x40/' -i ~/.config/xfce4/terminal/terminalrc
Dove abbiamo impostato la dimensione 140x40come esempio.
Unnamedappare nella colonna di sinistra, sottoProfiles, e selezionandola si ottiene una vista simile a quella raffigurata nello screenshot.