#1 Le 21/11/2007, à 13:56
- Shinichi
[RESOLU] Lancement d'un terminal de taille perso
Bonjour,
je voudrais savoir si on peut modifier la taille perso du terminal au lancement, j'ai fait le tour des réglages dans le terminal mais je n'ai rien trouvé sur sa taille à l'ouverture.
Je suis sous Ubuntu 7.10
Merci d'avance.
Dernière modification par Shinichi (Le 19/01/2008, à 12:48)
Hors ligne
#2 Le 22/11/2007, à 03:31
- best_friend_fr
Re : [RESOLU] Lancement d'un terminal de taille perso
Salut
gnome-terminal --geometry 10x10
sudo apt-get replace langage_sms by grammaire orthographe ponctuation
La documentation est avant tout faite pour ceux qui posent les questions, et non ceux qui y répondent
Best_friend_fr
Hors ligne
#3 Le 22/11/2007, à 04:37
- compte supprimé
Re : [RESOLU] Lancement d'un terminal de taille perso
:lol::lol::lol::lol:
Tu la lances oà¹, la commande en question ?
#4 Le 22/11/2007, à 05:55
- HymnToLife
Re : [RESOLU] Lancement d'un terminal de taille perso
Alt+F2, ou avec un lanceur...
- Rodrigue, as-tu du cœur ?
- Non, mais j'ai du pique !
Hors ligne
#5 Le 22/11/2007, à 07:48
- best_friend_fr
Re : [RESOLU] Lancement d'un terminal de taille perso
hmm, ne le prends pas mal faustus, mais cette question m'etonne de toi
sudo apt-get replace langage_sms by grammaire orthographe ponctuation
La documentation est avant tout faite pour ceux qui posent les questions, et non ceux qui y répondent
Best_friend_fr
Hors ligne
#6 Le 22/11/2007, à 19:17
- compte supprimé
Re : [RESOLU] Lancement d'un terminal de taille perso
Je ne le prends pas mal du tout.
Comme il était déjà assez tard, j'ai tout simplement fait un copier/coller... dans un terminal, pour voir ce que ça donne...
Puis je me suis imaginé que je ne serais sans doute pas le seul et ça m'a fait beaucoup rire !
Un peu comme : si internet ne marche pas, consultez http://
A+
Dernière modification par faustus (Le 22/11/2007, à 19:21)
#7 Le 23/11/2007, à 11:48
- Shinichi
Re : [RESOLU] Lancement d'un terminal de taille perso
Non mais y'a pas un fichier de configuration pour le terminal ? Le but, c'est de plus avoir à le redimensionner à chaque fois donc lancer un terminal à partir d'un terminal, aucun intérêt. lol
Hors ligne
#8 Le 23/11/2007, à 12:08
- Shinichi
Re : [RESOLU] Lancement d'un terminal de taille perso
faustus, tu m'a donné une bonne idée, j'ai créé un lanceur perso avec la commande gnome-terminal --geometry=120x30 et j'ai remplacé mon raccourci terminal par celui-ci.
Merci merci ^^ C'est mieux comme ça.
PS : bien la blague avec l'internet
Hors ligne
#9 Le 23/11/2007, à 15:04
- compte supprimé
Re : [RESOLU] Lancement d'un terminal de taille perso
La bonne idée, c'est pas moi, c'est HymnToLife !
Et la blague avec internet, ce n'est hélas pas une blague... Quand tu veux installer la wifi, par exemple, on peut te dire de télécharger la dernière version de ndiswrapper...
Enfin l'essentiel, c'est la bonne humeur... parce que parfois il en faut
A+
Dernière modification par faustus (Le 23/11/2007, à 15:07)