Ci-dessous, les différences entre deux révisions de la page.
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] 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 28: | Ligne 28: | ||
# # copy text from another widget | # # copy text from another widget | ||
# return</ | # return</ | ||
+ | |||
+ | ==== Taille par défaut ==== | ||
+ | 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] | ||
+ | |||
+ | </ | ||
+ |