Saya menggunakan CentOS 6.4 dengan desktop GNOME. Bagaimana saya bisa menambah / mengurangi jumlah ruang kerja Desktop?
Apakah ada alat yang tersedia untuk operasi itu?
gnome
workspaces
rɑːdʒɑ
sumber
sumber
Instal gnome-tweak-tool (live.gnome.org/GnomeTweakTool). Buka tab Shell di sebelah kiri. Ada "ruang kerja dinamis" dan opsi nomor ruang kerja. Itulah yang saya gunakan untuk melakukan perubahan di desktop saya.
sumber
Saya menemukan gnome-help (lihat di bawah), yang akhirnya mengarah ke diskusi ruang kerja yang mengungkapkan petunjuk-perintah baris perintah hak pengguna (bukan sudo / root) untuk mengatur baris dan kolom:
untuk mengatur jumlah kolom (dalam kasus saya, 3), ubah parameter akhir:
untuk mengatur jumlah baris (juga 3, di sini), ubah parameter akhir:
Perbedaan untuk baris vs kolom adalah parameter berikutnya-terakhir, baik hsize (untuk kolom) atau vsize (untuk baris).
Remah roti dari gnome-help:
Tajuk: "Apa itu ruang kerja, dan apa manfaatnya bagi saya?"
SubHeading: "Ubah jumlah ruang kerja"
Ubuntu 16.04 / gnome 3
sumber
Saya menggunakan ekstensi " Workspace Grid " untuk ini.
Ini mengatur ruang kerja dalam kisi yang dapat dikonfigurasi. Anda dapat memodifikasi kotak sesuka Anda.
sumber