Simpan beberapa tata letak terminal gnome?


24

Saya memiliki beberapa terminal gnome-terminal terbuka. Apakah ada cara untuk menyimpan pengaturan (posisi jendela, jumlah tab, judul, dll.). di OS reboot?

Jawaban:


16

Saya menemukan opsi berikut yang bermanfaat:

--load-config=FILE              Load a terminal configuration file
--save-config=FILE              Save the terminal configuration to a file

Di atas memang mengembalikan jumlah yang sesuai dari jendela terminal gnome dengan tab yang tepat, tetapi posisi dan judul jendela tidak dikembalikan. Tetap saja, sebuah awal :)


Posisi dan ukuran jendela disimpan ketika saya baru saja mencoba perintah-perintah ini dengan gnome-terminal 3.6.1 - Linux Mint 15 dengan Cinnamon dalam kasus ini - yang menjadikan ini sedikit lebih berguna. (Terima kasih!)
David Duncan

5
Opsi --save-config telah dihapus sebagai "usang" dari terminal gnome pada (setidaknya) 3.10.2.
srking

@srking progress!
drs

10

Setelah gnome-terminal Anda dikonfigurasikan dengan cara yang Anda sukai (yaitu jumlah tab, buka direktori tertentu), simpan status sesi dari dalam jendela terminal gnome Anda dengan perintah berikut:

gnome-terminal --save-config = mytabs

Lalu yang saya lakukan adalah membuat peluncur aplikasi khusus pada panel saya yang menjalankan perintah berikut

gnome-terminal --load-config = / home / leif / mytabs


Jenis ini berfungsi, tetapi tidak menyimpan output dari perintah sebelumnya, jadi saya tidak bisa gulir ke atas dan melihat apa yang saya lakukan.
samthebest

@samthebest Ya, itu hanya menyimpan dan mengembalikan direktori kerja saat ini dari setiap tab, bukan riwayat gulir.
leif81

2

Anda dapat membuat profil untuk Gnome-Terminal dari Edit Profilesdialog di bawah Editmenu. Untuk memulai Gnome-Terminal dengan profil tertentu, Anda akan melakukan ini:

gnome-terminal --window-with-profile=<profile_name>

Secara alami, Anda dapat mengonfigurasi ikon peluncur yang berbeda untuk secara otomatis meluncurkan profil yang berbeda, atau Anda dapat memasukkan baris dalam skrip startup sesi X untuk memulai beberapa terminal yang berbeda, masing-masing dengan profil yang berbeda, ketika Anda login. Berbagai opsi dapat digabungkan dalam ikon peluncur untuk memberi Anda satu jenis terminal spesifik, dan Anda dapat membuat sebanyak mungkin peluncur sesuai kebutuhan jenis terminal yang berbeda.

Opsi baris perintah lainnya mungkin berguna untuk mendapatkan efek yang Anda inginkan, jika mekanisme profil tidak cukup untuk Anda. Lihat man gnome-terminaldi sistem Anda untuk detail lengkap, tetapi berikut adalah beberapa saran dari diskusi forum Ubuntu ini :

# define a terminal 100 columns by 20 lines
--geometry=100x20

# set the titlebar
--title=irssi

# run a particular program
--execute irssi

1
Ini dekat, tetapi bertanya-tanya apakah yang saya inginkan dapat dicapai dengan lebih mudah. Saya sudah punya profil, dan buka windows. Apakah ada beberapa status sesi untuk setiap terminal gnome, yang dapat saya simpan dan kemudian "muat / jalankan" kapan saja sehingga apa pun yang saya simpan berpengaruh?
Abhinav

Mungkin ada sesuatu di .gconf?
Abhinav

aku takut itu sejauh pengetahuanku; Saya belum menjadi pengguna Gnome selama beberapa tahun sekarang.
quack quixote

0

Saya menggunakan pendekatan dua langkah dengan terminal xfce saya. Pertama saya buka windows:

xfce4-terminal --hide-menubar --hide-borders --hide-toolbars -e htop -T hTop

lalu pindahkan dengan wmctrl:

wmctrl -r 'hTop' -t 3
wmctrl -r 'hTop' -e 0,927,33,1000,550

0

Posisi jendela:

gnome-terminal --geometry=115x30+0+670

0

gnome-terminal --save-config dan --load-config adalah pilihan yang baik meskipun untuk membuatnya menjadi bukti penuh saya telah menggunakan skrip berikut skrip ini lambat tetapi bekerja untuk saya. 1. save-terminals.sh

FILE=$1
gnome-terminal --save-config=$FILE

LINES=($(grep -n '\[Terminal' $FILE | cut -d: -f1))
echo $LINES
for ((i=0; i<$(grep '\[Terminal' $FILE | wc -l); i++))
do
    TITLE=$(xprop -id $WINDOWID WM_NAME | sed -e 's/WM_NAME(STRING) = "//' -e 's/"$//';xdotool key ctrl+Right;)
    echo $TITLE
    sed -ri "$((${LINES[$i]}+$i))s/.*/&\nTitle=$TITLE/" /tmp/test
done

2. load-terminals.sh

FILE=$1
LINES=$(grep '\[Terminal' $FILE | wc -l)
TITLE=($(grep -n '\Title' $FILE | cut -d= -f2))
gnome-terminal --load-config=$FILE
for ((i=0; i<$LINES; i++))
do
    xdotool key Ctrl+Right
    xdotool key "Return"
    sleep 1
    xdotool key Alt+t
    sleep 1
    xdotool key s
    sleep 1
    xdotool type ${TITLE[$i]}
    xdotool key "Return"
    xdotool key "Return"
    sleep 1
done
xdotool key Alt+Tab
xdotool key Shift+Ctrl+Q
xdotool key "Return"

tidur dimaksudkan karena jika bergerak cepat itu akan kehilangan jejak. Anda juga perlu menginstal xdotool. Buat alias di .bashrc sebagai

alias st='save-terminals.sh ~/.terminal.cfg'
alias lt='load-terminals.sh ~/.terminal.cfg'

Semoga itu bisa membantu

Dengan menggunakan situs kami, Anda mengakui telah membaca dan memahami Kebijakan Cookie dan Kebijakan Privasi kami.
Licensed under cc by-sa 3.0 with attribution required.