Outils pour utilisateurs

Outils du site


Panneau latéral

linux:terminal (lu 30139 fois)

Table des matières

Terminal

Terminator

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 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 qui semble fonctionner :

sudo vi /usr/share/terminator/terminatorlib/terminal.py

Repérer les lignes

def on_drag_motion(self, widget, drag_context, x, y, _time, _data):
"""*shrug*"""
        if gtk.targets_include_text(drag_context.targets) or \
           gtk.targets_include_uri(drag_context.targets):
            # copy text from another widget
            return

et remplacez par

def on_drag_motion(self, widget, drag_context, x, y, _time, _data):
"""*shrug*"""
#        if gtk.targets_include_text(drag_context.targets) or \
#           gtk.targets_include_uri(drag_context.targets):
#            # copy text from another widget
#            return

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 1920×1080)

$ vi .config/terminator/config
[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]
linux/terminal.txt · Dernière modification: 10-12-2018 22:17 de edmc73