Jawaban:
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 :)
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
Anda dapat membuat profil untuk Gnome-Terminal dari Edit Profiles
dialog di bawah Edit
menu. 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-terminal
di 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
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