Qu'est ce qu'on se fait ch ... !

Question surement bête mais comment faire pour régler la taille d'un terminal ( ici gnome-terminal) pour qu'au lancement, il soit à la taille désirée. Vous remarquerez le coté existentiel de cette problématique et hautement prioritaire sachant que l'on peut à tout moment, redimensionner la fenêtre du terminal. Bref, c'est inutile donc indispensable... Le système utilisé ici est Ubuntu 9.10 mais je pense que cette configuration doit pouvoir aisément se faire sur d'autres systèmes gnu/linux.

La configuration pour un seul utilisateur

Il faut modifier la clé suivante dans le registre gconf

Lancer la commande suivante

$sudo gedit /usr/share/vte/termcap/xterm

et modifier la clé exec_arg pour ajouter l'option suivante --geometry 80x40

Fermer tous les terminaux et lancer gnome-terminal pour voir si c'est OK

La configuration pour tout le système

Un peu brutal certes, mais bon ... Petit rappel : La manipulation du fichier suivant peut provoquer quelques dysfonctionnements concernant l'utilisation du terminal. Pensez à faire une sauvegarde avant de le modifier!

Lancer la commande suivante:

$sudo gedit /usr/share/vte/termcap/xterm

Modifier la ligne

	:co#80:it#8:li#24:\

Pour mettre le bon nombre de colonnes et de lignes ici

	:co#100:it#8:li#40:\

J'utilisais auparavant Google Browser Sync avec Firefox 2 pour synchroniser mes différents navigateurs ( travail, desktop familial et portable). Malheureusement, ce projet semble être abandonné par Google. Peut être qu'il réapparaitra dans la future barre d'outils google mais bon en attendant, soit on reste sur firefox2 soit on passe sur firefox3 et on s'apercoit que mozilla a complètement modifié le système des marques page et beaucoup d'autres poitns qui emêchent l'utilisation de GBS.

J'ai donc suivi l'actualité du projet Mozilla Weave avec une grande attention. Ce projet est bien évidemment sponsorisé par la fondation mozilla et permet la synchronisation de différents navigateurs firefox3 ( vous ne croyez pas qu'il va synchroniser du IE quand même :-P)

Ça fonctionne super bien. La version actuelle est la 0.2 et me permet de synchroniser toutes les données de mes navigateurs ( mot de passe, onglets, marques page,...) . Il suffit de s'inscrire en ligne et de télécharger l'extension.

Malheureusement, le service est arrivé à saturation plus de nouvelles inscriptions possibles.

... et ceci en moins d'une minute sous Ubuntu et Debian

Ca faait beaucoup de choses dans le titre mais vous allez voir la manipulation est super simple