Outils pour utilisateurs
linux:terminal (lu 30391 fois)
Différences
Ci-dessous, les différences entre deux révisions de la page.
| Prochaine révision | Révision précédente | ||
|
linux:terminal [27-05-2014 11:35] edmc73 créée |
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' | **Terminator** est mon terminal préféré, il permet de splitter l' | ||
| - | Malheureusement un petit bug le fait crasher lorsqu' | + | Malheureusement un petit bug le fait crasher lorsqu' |
| - | Voici une solution : | + | Voici une solution |
| sudo vi / | sudo vi / | ||
| Ligne 17: | Ligne 17: | ||
| | | ||
| # copy text from another widget | # copy text from another widget | ||
| - | return</ | + | return |
| + | </ | ||
| - | def on_drag_motion(self, | + | |
| + | et remplacez par | ||
| + | <code python>def on_drag_motion(self, | ||
| """ | """ | ||
| # if gtk.targets_include_text(drag_context.targets) or \ | # if gtk.targets_include_text(drag_context.targets) or \ | ||
| # | # | ||
| # # copy text from another widget | # # copy text from another widget | ||
| - | # return | + | # return</ |
| - | et remplacez | + | |
| - | < | + | ==== Taille |
| + | Changer la taille de la fenêtre par défaut à l' | ||
| + | |||
| + | |||
| + | 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/ | ||
| + | |||
| + | < | ||
| + | [global_config] | ||
| + | enabled_plugins = CustomCommandsMenu, | ||
| + | [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.1401183334.txt.gz · Dernière modification: 27-05-2014 11:35 de edmc73
Outils de la page
