Apakah ada perintah terminal yang mengubah dimensi jendela terminal?

10

Saya suka memiliki terminal kecil untuk hal-hal kecil (80 x 24), dan terminal besar untuk mengedit kode dalam vim dan semacamnya (120 x 38), dan kadang-kadang bahkan layar penuh, browsing ascci art? Saya tidak tahu.

Anywho, apakah ada perintah terminal yang dapat saya gunakan untuk mengganti ukuran jendela untuk terminal saya?

Costa
sumber

Jawaban:

12

Iya. resize -s <rows> <columns>bekerja dengan aplikasi terminal default Ubuntu ( gnome-terminal).

Cara mengubah ukuran terminal hingga program selesai

Untuk mendapatkan efek menyenangkan memiliki, katakanlah, vimdi jendela berukuran khusus hanya ketika sedang berjalan:

  1. mkdir ~/bin
  2. ~/.profilesecara default menambahkan ~/binke PATH; Untuk saat ini, Anda dapat source ~/.profileatau mendeklarasikan PATHsendiri yang baru :export PATH="$PATH":~/bin
  3. vim ~/bin/vim
  4. Tambahkan yang berikut ini:

    #!/bin/bash
    
    source <(/usr/bin/resize -s)
    /usr/bin/resize -s 38 120
    /usr/bin/vim "$@"
    /usr/bin/resize -s $LINES $COLUMNS
    
  5. Menyimpan

  6. chmod +x ~/bin/vim

Sekarang vimakan berjalan pada ukuran 120 × 38 dan ukurannya akan dibatalkan ketika vimselesai.

Chai T. Rex
sumber
1
Kamu keren! :) Apakah mungkin untuk mendapatkan perintah ini untuk bekerja dari dalam vim juga? Saya mencoba !resize -s 38 120tetapi itu tidak berhasil, sampai saya mengubah bendera vim di .vimrc saya, tetapi itu membuat semuanya tersedak dan melakukan hal-hal yang aneh.
Costa
Saya kira saya bisa ctrl + z, dan beralih, lalu fgkembali ke vim :))
Costa
2
OK, saya telah menambahkan bagian kecil tentang cara mendapatkan, katakanlah, vimmenggunakan terminal ukuran yang sama dan kemudian unresize setelah keluar vim.
Chai T. Rex
Ini tampaknya tidak berfungsi ketika gnome-terminaldimaksimalkan atau terkunci ke samping / sudut. Saya menggunakan 14,04.
wjandrea
Di Vim, Anda bisa :set lines=38 columns=120.
Ingo Karkat
4

Di Ubuntu 16.10 (dan mungkin juga versi yang lebih lama), jika Anda membuka jendela terminal, dan masuk ke Terminalmenu, Anda dapat memilih ukuran jendela alternatif secara langsung. Bahkan, hampir persis ukuran yang Anda minta!

Juga, F11akan beralih ke mode layar penuh.

Anda juga dapat membuat beberapa profil yang mengatur layar sesuai dengan ukuran yang Anda inginkan. Buka Filemenu dan pilih New Profile... sebut saja "Profil pengeditan saya". Kemudian, ketika Anda ingin mengubah ke profil yang berbeda, buka Terminalmenu dan pilih Change Profile. Lalu pergi ke Editmenu dan pilih Profile Perferences. Atur ukuran layar khusus Anda di sana. Profil berbeda, masing-masing dengan ukuran layar berbeda!

heynnema
sumber
2
Saya lebih dari seorang pria keyboard baris rumah:) Ini keren, terima kasih !!!
Costa