#1 Le 27/05/2016, à 08:58
- GhostSpirit
[résolu].bashrc quand la modification devient un jeu d'enfant !
Bonjour,
C'est la première fois que je donne l'adresse d'un autre site sur ce forum.
Mais je pense que vu la facilité que ce site donne à la modification de .bashrc
cela vaut vraiment le coup de le partager.
un tout petit peu plus (juste du copier coller et ça marche)
http://lehollandaisvolant.net/?d=2014/0 … e-terminal
je chercher toujours à agrandir la taille de la police de mon terminal, si vous savez comment faire,
merci
j'ai trouvé !
barre de menu
configuration/ modifier le profil
onglet apparence
taille du texte
Dernière modification par GhostSpirit (Le 20/08/2016, à 22:54)
Apprendre, comprendre, progresser, et apprendre aux autres, telle est ma devise
http://forum.ubuntu-fr.org/viewforum.php?id=171
Hors ligne
#2 Le 27/05/2016, à 11:47
- Li@nel
Re : [résolu].bashrc quand la modification devient un jeu d'enfant !
Sujet résolu donc ? 
↪ MS 7641-760gm P23 (FX) ↱ AMD FX 8120 (3.1 GHz) ↱ RAM : 8 Go DDR3 ↱ AMD Radeon HD 3000 ↱SSD Samsung 840 EVO 500 Go ↱ Moniteurs Philips 196VLA en DVI & Philips 170 S4 en VGA ↬ Windows 7 Pro SP1 ↬ Ubuntu 16.04.1 LTS
↪ ASUS T100TA 32Gb ↱ MicroSD SanDisk 16 Go Classe 10 ↱ RAM : 2Go ↱ Intel HD Graphics ↬ Ubuntu 16.04.1 LTS
↪ iPhone SE 64GB ↱ iOS 10.2
Hors ligne