Questions marquées «gnome-terminal»

GNOME Terminal (souvent intitulé uniquement "Terminal") est l'émulateur de terminal par défaut inclus dans Ubuntu.

Ouvrir un fichier à partir du terminal uniquement en tapant son nom

Je sais que xdg-openva ouvrir depuis le terminal un fichier dans l'application préférée de l'utilisateur comme ceci: xdg-open filename Mais je me demande comment puis-je ouvrir un fichier du répertoire actuel dans son application par défaut uniquement en tapant: filename suivi Enter, bien sûr. Rien de plus.

15 command-line bash gnome-terminal

Comment puis-je créer un nouveau profil pour le terminal Gnome via la ligne de commande?

Comme tout le monde le sait, vous pouvez créer un nouveau profil par le menu où l'on vous demande quel profil existant devrait être le parent de votre nouveau profil, etc. Mais comment dois-je créer un nouveau profil par la ligne de commande? Dois-je lire toutes les valeurs existantes du …

15 command-line gnome-terminal

Où sont stockés les profils Gnome-Terminal dans le système de fichiers?

J'ai créé un nouveau profil qui s'est ouvert avec le programme fortune (atp-get install fortune-mod pour l'emplacement de téléchargement) et l'ai défini comme le profil avec lequel ouvrir tous les nouveaux terminaux afin que j'obtienne une nouvelle fortune lorsque j'ouvrirais le terminal . Malheureusement, je ne savais pas définir "terminal …

15 gnome-terminal

raccourci clavier gnome-terminal (ctrl-tab) et (ctrl-shift-tab) en 12.04?

Les raccourcis clavier dans gnome-terminal( Ctrl+ Tabet Ctrl+ Shift+ Tab) dans 12.04 ne semblent pas fonctionner. Y a-t-il un paramètre que je ne connais pas?

15 12.04 shortcut-keys keyboard gnome-terminal

Backup GNOME-Terminal

J'ai créé des paramètres et des profils GNOME-Terminal personnalisés et je souhaite les conserver après la réinstallation d'Ubuntu. Que dois-je enregistrer pour sauvegarder mes paramètres et comment les réappliquer ensuite? Ce n'est pas un double de cette question , car Les systèmes de configuration ont changé depuis l'ancienne question, passant …

15 gnome backup gnome-terminal

Comment imprimer l'erreur standard en rouge

Comment imprimer l'erreur standard en rouge dans la console au lieu d'utiliser la même couleur que la sortie standard? Est-il possible d'utiliser Gnome Terminal ?

14 gnome-terminal

Comment changer le répertoire de travail par défaut avec lequel gnome-terminal s'ouvre?

Il ne semble pas y avoir de moyen de changer cela dans l'interface graphique.

14 gnome-terminal

Saisie semi-automatique des commandes du terminal

J'essaie actuellement de passer d'OpenSUSE à Ubuntu comme mon système d'exploitation principal. Alors que la plupart des fonctionnalités d'OpenUse sont présentes dans Ubuntu, il y en a une qui ne le fait pas. Dans Opensuse, je peux toujours utiliser Ctrl + Haut pour compléter automatiquement la ligne de commande en …

14 gnome-terminal auto-completion

Comment activer la prise en charge des vraies couleurs 24 bits dans le terminal Gnome?

Selon cette page , Gnome Terminal prend en charge la vraie couleur 24 bits. Ceci est cohérent avec Wikipedia . Lorsque j'exécute color-spaces.pldans Ubuntu 14.04 LTS avec Gnome Terminal 3.6.2, le résultat est le suivant: Bien qu'il n'y ait pas d'image de référence, j'imagine que ces objets verts de forme …

14 gnome-terminal colors

Comment puis-je créer un alias pour que lorsque j'entre «kt», il exécute «killall gnome-terminal»?

Comment puis-je créer un alias pour que lorsque j'entre "kt" il exécute "killall gnome-terminal"?

14 command-line gnome-terminal shortcuts alias symbolic-link

Comment puis-je changer définitivement la taille du texte pour gnome-terminal?

Je voulais juste demander ... Il semble que vous devez appuyer sur Ctrl+ -(ctrl plus le signe moins) afin d'obtenir une meilleure résolution (texte plus petit) lors de l'exécution du terminal. Mais je me demandais s'il y avait un moyen de conserver les paramètres de cette façon, de sorte que …

14 11.04 command-line gnome-terminal

Impossible d'ouvrir le terminal sur Ubuntu 18.04

Récemment, j'ai installé Ubuntu 18.04 et jusqu'à présent, tout était super, mais hier, cela a commencé à être bizarre. Problèmes que j'ai découverts jusqu'à présent: le terminal ne s'ouvre pas après le redémarrage, mais lorsque je me déconnecte puis me connecte, cela fonctionne le son ne fonctionne pas (essayé peu …

13 google-chrome gnome-terminal chrome-extension

Comment ouvrir le répertoire Nautilus dans le terminal actuel?

Je n'aime pas avoir des dizaines de terminaux ouverts. Existe-t-il un moyen d'ajouter Ouvrir dans le terminal actuel au lieu de Ouvrir dans le terminal lors de l'utilisation de Nautilus?

13 nautilus gnome-terminal directory nautilus-actions nautilus-script

Comment envoyer des commandes à des fenêtres de terminal spécifiques?

Je voudrais écrire un script pour ouvrir plusieurs programmes (serveurs) simultanément dans des terminaux séparés - peu importe lequel - et assigner différentes commandes à différents terminaux avec des commandes «atterrissant» dans le bon terminal. Est-ce possible? Peut-être quelque chose comme ça: terminal ouvert1 ouvrir terminal2 // simultanément avec 1. …

13 command-line bash scripts gnome-terminal

Puis-je obtenir des italiques dans gnome-terminal?

Après beaucoup de recherches, je ne trouve pas de moyen pour que gnome-terminal affiche les polices italiques. J'utilise la version 3.6.2. Plus précisément, j'aimerais que vim affiche les commentaires en italique; J'ai ajouté highlight Comment cterm=italic à mon .vimrc mais cela ne fonctionne pas. Est-ce que quelqu'un sait si cela …

13 gnome-terminal vim

En utilisant notre site, vous reconnaissez avoir lu et compris notre politique liée aux cookies et notre politique de confidentialité.

Licensed under cc by-sa 3.0 with attribution required.