RECOMANDARE
Aș recomanda să înveți instrumentul la care te vei muta. Aproape toate terminalele au un fel de fișier de configurare, cum ar fi alacritty. Acestea fiind spuse, iată câteva „trucuri” pe care le-am întâlnit pe parcurs”.
CUM O FAC
Când lansați un terminal, există o opțiune care vă permite să setați atât dimensiunea, cât și offset-urile X și Y.
Opțiunea este --geometrie
, si e disponibil pe multe (majoritatea?) emulatori de terminale linux. Terminalul Gnome nu face excepție. Cât despre o mereu soluție, unii dezvoltatori pur și simplu nu își fac timp pentru a construi cârlige suplimentare de automatizare pentru programator/superutilizator.
Sintaxa de utilizare a opțiunii de geometrie cu terminalul nostru este următoarea:
$ gnome-terminal --geometrie LxH+X+Y
Rețineți că în șirul de argumente, totul, în afară de majuscule, trebuie interpretat literal. Capacele reprezintă lăţime
măsurată în coloane, Înălţime
măsurată în rânduri și X Y
decalaje față de poziția ecranului (0,0).
Obișnuiam să scriu o comandă pentru a o salva în $HOME, salvarea în ~/.bashrc
, care o persistă. Aceasta este o idee pe care cred că am primit-o de pe același site cu mult timp în urmă, dar acum folosesc o metodă creată de mine atunci când trebuie să scriu un script pentru funcționalitatea.
Ca o notă secundară rapidă: dacă mă schimb în Ubuntu, creez (sau schimb) un altul profilul terminalului. Fiecare profil l nou pe care îl faceți în setările „preferințe” terminalului gui vă permite să specificați culoarea b-g, transparența etc. ale terminalului împreună cu setările menționate anterior.
De asemenea, voi deschide vim și voi imprima comanda de mai sus pe o singură linie. În continuare, îl voi copia vertical de câte ori este nevoie și îl voi configura pe fiecare la o dimensiune / poziție convenabilă.
În cele din urmă deschid o despărțire cu ~/.bash-aliases
încărcat în buffer-ul său și setați un alias pentru fiecare instanță a comenzii.
Apoi pot pune doar un nume de 3-4 litere, ca poate midl
de fiecare dată când am nevoie de un nou proces de terminal guit pentru a lansa în mijlocul ecranului.