Outils pour utilisateurs

Outils du site


linux:terminal (lu 30392 fois)

Différences

Ci-dessous, les différences entre deux révisions de la page.

Lien vers cette vue comparative

Les deux révisions précédentes Révision précédente
Prochaine révision
Révision précédente
linux:terminal [27-05-2014 11:36]
edmc73
linux:terminal [10-12-2018 22:17] (Version actuelle)
edmc73 [Titre]
Ligne 5: Ligne 5:
 **Terminator** est mon terminal préféré, il permet de splitter l'écran dans tous les sens, d'envoyer des commandes simultanément sur plusieurs consoles et bien plus encore... **Terminator** est mon terminal préféré, il permet de splitter l'écran dans tous les sens, d'envoyer des commandes simultanément sur plusieurs consoles et bien plus encore...
  
-Malheureusement un petit bug le fait crasher lorsqu'on utilise le drag'n drop pour réorganiser les fenêtres.+Malheureusement un petit bug le fait crasher lorsqu'on utilise le drag'n drop pour réorganiser les fenêtres et il n'y a rien de pire que de perdre de multiple connexion ssh ou des scripts étaient en train de tourner...
  
-Voici une solution :+Voici une solution qui semble fonctionner :
  
   sudo vi /usr/share/terminator/terminatorlib/terminal.py   sudo vi /usr/share/terminator/terminatorlib/terminal.py
Ligne 28: Ligne 28:
 #            # copy text from another widget #            # copy text from another widget
 #            return</code> #            return</code>
 +
 +==== Taille par défaut ====
 +Changer la taille de la fenêtre par défaut à l'ouverture
 +
 +
 +Editez votre fichier de config et ajouter la ligne **size = 1800, 900** (ceci est un exemple dans mon cas pour une résolution de 1920x1080)
 +  $ vi .config/terminator/config
 +
 +<code>
 +[global_config]
 +  enabled_plugins = CustomCommandsMenu, TerminalShot, LaunchpadCodeURLHandler, APTURLHandler, Logger, LaunchpadBugURLHandler
 +[keybindings]
 +[profiles]
 +  [[default]]
 +    background_darkness = 0.9
 +    background_image = None
 +    background_type = transparent
 +    scrollback_infinite = True
 +[layouts]
 +  [[default]]
 +    [[[child1]]]
 +      type = Terminal
 +      parent = window0
 +      profile = default
 +    [[[window0]]]
 +      type = Window
 +      parent = ""
 +      size = 1800, 900
 +[plugins]
 +
 +</code>
 +
linux/terminal.1401183374.txt.gz · Dernière modification: 27-05-2014 11:36 de edmc73