canviar font a kitty

És un emulador de terminal basat en la GPU, molt ràpid i que permet molta configuració. Així és defineix KITTY.

S'ha de configurar en un fitxer des de zero. D'ací les seves particularitats. Doncs, per modificar la font (lletra) que utilitza es pot fer en aquest fitxer, o bé, fer servir la mateixa terminal amb aquesta línia de comandament

$ kitten choose-fonts

Ens apareix aquest quadre de dialeg i amb les fletxes escollirem la font. Seguirem les instruccions , Enter, i ja estarà fet.

Comentaris

Entrades populars d'aquest blog

configurar configuració lightdm en debian

Si volem que ens aparegui el nom d'usuari per defecte a l'inici de sessió, o bé volem canviar el fons de pantalla d'aquest, haurem de modificar la configuració del fitxer lightdm en debian 12. Trobarem la informació en la pàgina de debian https://wiki.debian.org/LightDM Haig de dir que jo ho he fet amb aquest suport i apunts de vídeos de youtube al respecte. Per això tindrem dues possibilitats. LA PRIMERA Modificant el fitxer /etc/lightdm/lightdm.conf $ sudo nano /etc/lightdm/lightdm.conf i des-comentarem la línia on posa greeter-hide-users i afegirem false . Amb això aconseguirem que l'usuari aparegui per defecte en l'inici de sessió. Per modificar el fons de pantalla o background, haurem de modificar el fitxer /etc/lightdm/lightdm-gtk-greeter.conf $ sudo nano /etc/lightdm/lightdm-gtk-greeter.conf Descomentarem la línia de background i afegirem el camí o "path" d'on es troba el fitxer. Un apunt: haurem de ten...

modificar grub

Moltes vegades a l'instaŀlar sistemes aquests estan configurats amb un temps establert de 10, 5 o altres. Si no ens va bé aquesta configuració de sèrie, sempre ho podrem variar al nostre gust. Si volem fer permanents els canvis realitzats en el punt anterior o personalitzar el comportament del GRUB, caldrà editar el seu fitxer previ haver fet una còpia de seguretat del mateix, per si calgués retornar al punt de partida. $ sudo cp /etc/default/grub /etc/default/grub.ANT && sudo nano /etc/default/grub Per fer-ho, anirem a la terminal $ sudo nano /etc/default/grub En la línia marcada posarem la xifra que ens interessi. En el meu cas, 3, ja que no tinc cap altre sistema per arrencar, tret de debian. El significat de cada linia del fitxer seria GRUB_DEFAULT=0: Es el número d'entrada del menú GRUB que farà us automàtic per defecte a l'iniciar el sistema si l'usuari no intervé en el procés. El valor '0' apunta al primer element de l...

guia per iniciar-se en la terminal linux (1)

Vaig a enumerar uns sèrie de comandaments bàsics per ser més amables amb l'ús de la terminal de linux. Com que la llista es prou llarga, ho dividiré en vàries entrades. Comencem... Per saber en quin directori estem treballant $ pwd (print work directory) Per canviar de directori $ cd Baixades/ (change directory) Per a retornar al directori home, tenim vàries opcions $ cd ~ $ cd I si volem tornar a l'últim directori que estàvem $ cd - Per netejar la pantalla tenim dues opcions $ clear $ Ctrl+l Per llistar els arxius i/o directoris $ ls (sense ocults) $ ls -a (amb ocults) $ ls -al (tots amb llistat de format) $ man ls (veurem el manual i totes les opcions que ens ofereix aquest comandament). En aquest cas la paraula man sempre ens indicarà el manual de l'ordre que voldrem aplicar. Per crear un fitxer pod...

QDL ~ QUADERNDELINUX

Cercar en aquest blog