terminal gnome sekarang jadi rusak itu pada dasarnya adalah lelucon yang buruk. Profil sulit atau tidak mungkin untuk dikelola, diedit, atau dihapus.
Jika saya mengabaikan masalah transparansi baru-baru ini saya mendapat pasangan- akhirnya bekerja dengan membuat profil lama saya lebih akurat. Rupanya mate-terminal sekarang menggunakan mekanisme pengecekan error yang lebih ketat dan tidak lagi bekerja dengan nama profil yang tidak ditentukan. --tab-with-profile = Default hanya berfungsi dalam satu profil (yang pertama.) Profil Anda berikutnya harus diberi nama berbeda (Default2 atau misalnya "Server" seperti dalam contoh saya di bawah ini) dan itu harus mencerminkan dalam kustom profil baru perintah.
contoh:
mate-terminal --tab-with-profile=Servers -t "server1" -e "ssh root@server1.domain.com -t screen -dRRS main"
--tab-with-profile=Servers -t "server2" -e "ssh root@server2.domain.com -t screen -dRRS main"
Dengan menggunakan definisi Profil yang lebih tepat dan perintah khusus di mate-terminal saya dapat yang lagi mendapatkan semua profil saya dan 100 atau lebih Tab dengan baik dan terhubung kembali dengan klik tombol :)
Harus suka layar -dRRS perintah utama . Ini memungkinkan Anda untuk reboot dan kembali ke pekerjaan sebelumnya dengan satu klik. Semua tab terminal Anda akan persis seperti yang Anda tinggalkan sebelum Anda mem-boot ulang termasuk riwayat perintah "pada layar" sebelumnya.
-Sam