Questions marquées «gnome-terminal»

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

Onglets Gnome-terminal: pas de contraste entre les onglets actifs et inactifs

Dans Ubuntu 13.04, j'ai souvent plusieurs onglets ouverts dans gnome-terminal. Le problème est que, même si je peux définir le titre de chaque onglet, il est très difficile de dire quel onglet est actif - la distinction de couleur et de rendu entre l'onglet actif et l'onglet inactif est si …

24 gnome-terminal

Configurez gnome-terminal pour démarrer bash en tant que shell de connexion, ne lit pas .bashrc

J'essaie d' intégrer RVM avec gnome-terminal . Par défaut, gnome-terminal ne démarre pas bash en tant que shell de connexion. J'ai activé run command as a login shellcomme suggéré dans cette réponse sur le même sujet la configuration de RVM, mais lorsque je le fais, le .bashrcfichier n'est pas lu. …

24 bash gnome-terminal bashrc rvm .profile

Onglets du terminal Gnome laid et surdimensionné

Le terminal gnome et le terminateur (que j'utilise sur mon ordinateur portable ces jours-ci) peuvent être personnalisés pour être très jolis. En utilisant le plein écran et en réduisant l'encombrement du bureau au minimum, il est possible d'obtenir une zone de bonne taille pour travailler, même sur mon petit EeePC. …

24 command-line gnome-terminal terminator

Avec un lanceur pour une application de terminal, comment puis-je garder le terminal ouvert une fois le programme terminé?

J'ai une commande de terminal que j'exécute à partir d'un lanceur d'applications. Cela fonctionne très bien, mais parfois la commande échoue, donc j'aimerais que le terminal reste ouvert pour que je puisse voir les résultats. Comment puis-je faire ceci?

24 command-line launcher gnome-terminal

Raccourci sur le bureau pour la commande du terminal

Je me demandais comment créer un raccourci de terminal cliquable pour mon bureau à l'aide de la commande easytether connect. Je ne veux pas avoir à ouvrir / fermer le terminal chaque fois que je souhaite me connecter à Internet via mon téléphone. J'ai essayé de mettre à jour mon …

24 gnome-terminal shortcuts .desktop

Enregistrer le défilement du terminal actuel dans un fichier?

J'ai cherché une réponse à cela et je n'ai rien trouvé qui me fasse penser que ce n'est pas possible mais ... Est-il possible d'enregistrer le tampon de défilement Gnome Terminal actuel dans un fichier? Je sais que je peux faire quelque chose comme command > output.txtrediriger toutes les sorties …

24 command-line gnome-terminal

Quelle est la commande pour minimiser le terminal gnome?

Comment puis-je réduire la fenêtre du terminal à l'aide d'une commande? Par exemple: j'utilise la clearcommande pour effacer la sortie du terminal, quelle commande dois-je utiliser pour réduire la fenêtre du terminal?

23 gnome-terminal

Comment tuer htop si je ne peux pas utiliser F10?

J'utilise htopdans un terminal mais je ne peux pas le fermer avec F10. F10semble simplement ouvrir la boîte de dialogue Fichier d' un programme . Existe-t-il un moyen de le désactiver pour que je puisse fermer htopnormalement?

23 gnome 15.04 gnome-terminal htop

Comment vérifier quel terminal j'utilise?

J'ai Ubuntu sur ma machine et j'exécute un gestionnaire de fenêtres génial en plus. Comment vérifier quel terminal j'utilise? Y a-t-il une commande pour cela?

23 command-line gnome-terminal

Ubuntu 18.04 Conflit de touches de fonction du terminal F10 avec htop

Dans htop F10est utilisé pour quitter mais il entre en conflit avec la fonction Terminal pour afficher le menu à la place. Comment peut-on se délier F10dans le terminal?

23 gnome-terminal 18.04

Comment exécuter plusieurs commandes les unes après les autres avec une seule requête au terminal (sans utiliser de fichier)?

Je pourrais (1) préparer un fichier avec des commandes tapées séparées par une ligne de fin, (2) le rendre exécutable, (3) l'exécuter à partir d'un gestionnaire de système de fichiers ou du terminal. Mais c'est ridicule pour les ensembles de commandes non répétables et à chaque fois. Puis-je saisir ces …

22 gnome-terminal command-line

Comment modifier l'espacement des lignes dans Terminal?

Est-il possible de modifier l'espacement des lignes dans Terminal, ou existe-t-il une autre application qui le permet? Je déménage du Mac, et son application terminale a cette fonctionnalité qui permet de modifier l'espacement des lignes indépendamment de la taille de la police. Par exemple, voici Monaco sur le Mac à …

22 fonts gnome-terminal

Changer automatiquement les couleurs du terminal lors d'une connexion à distance?

Existe-t-il un moyen d'appliquer automatiquement un profil de terminal lorsqu'il est connecté à une machine distante via SSH? Je voudrais des indices visuels plus évidents que je suis connecté à une machine distante que l'utilisateur / hôte affiché sur chaque ligne de terminal. Je passe la majeure partie de ma …

22 command-line ssh gnome-terminal

Terminal dans Gnome 3: désactiver la cloche audible, activer la cloche visuelle

Pendant des années, voire des décennies (littéralement - deux!), J'ai la cloche visuelle activée dans mes terminaux chaque fois que possible, que ce soit un humble XTerm ou un terminal Gnome. Récemment, après être passé de Unity à Gnome 3, j'ai eu une sonnerie audible (sur des haut-parleurs stéréo) dans …

22 gnome gnome-terminal

Comment afficher plusieurs fichiers dans un seul terminal?

Parfois, je peux avoir besoin d'accéder à plusieurs fichiers journaux pour le dépannage, mais je ne veux pas les ouvrir dans différents terminaux. Ce que je veux, c'est les ouvrir dans le même terminal. Existe-t-il un moyen de visualiser la partie arrière des multiples fichiers journaux dans une même fenêtre …

21 command-line gnome-terminal tail

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.