Ci-dessous, les différences entre deux révisions de la page.
| Les deux révisions précédentesRévision précédenteProchaine révision | Révision précédente | ||
| linux:terminal [27-05-2014 09:38] – edmc73 | linux:terminal [10-12-2018 21:17] (Version actuelle) – [Titre] edmc73 | ||
|---|---|---|---|
| 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] | ||
| + | |||
| + | </ | ||
| + | |||