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
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
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 subtile...
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....
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...
Je veux copier et coller un fichier. Le nom du fichier est mkoctfile.m. Le chemin de ce fichier est: /usr/share/octave/3.2.4/m/miscellaneous/mkoctfile.m Je veux le coller dans le chemin suivant /usr/bin/mkoctfile-3.2.4 J'ai créé le répertoire en utilisant les commandes suivantes: sudo su mkdir -p...
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...
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
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
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
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
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)...
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...
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...
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...
Sur une nouvelle installation d'Ubuntu 12.10, le gnome-terminal par défaut signale que $ TERM est xterm alors qu'il devrait vraiment rapporter xterm-256color. Quelle est la meilleure façon de changer cela? J'évite de mettre cela dans mon .bashrc car cela ne fait que poser des
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...
Lorsque vous utilisez la commutation de tâches dans le mode graphique par défaut d'Ubuntu 12.04, s'il s'agit de plusieurs fenêtres du même type, par exemple. plusieurs fenêtres de terminal, vous pouvez les voir toutes ensemble et sélectionner celle que vous souhaitez. Mon problème est que l'ordre...
J'ai besoin d'un raccourci rapide pour modifier la taille de la police du terminal. J'utilise gnome-terminal. J'ai essayé avec Ctrl+ +et Ctrl+ -mais la taille n'est pas modifiée. Y a-t-il un autre raccourci? Puis-je ajouter un raccourci comme
J'ai créé un nouveau profil pour gnome-terminal et je peux basculer entre le profil "implicite" et le nouveau profil créé comme vous pouvez le voir dans l'image ci-dessous: Maintenant, je me demande comment puis-je basculer entre les profils en utilisant une ligne de commande / script ou peut-être...
Je modifie plusieurs fichiers situés dans le même dossier, dans plusieurs onglets, sur un seul terminal. pwd(répertoire dans lequel je travaille actuellement) est affiché en haut de l'en-tête du terminal, mais pas le nom du fichier que je modifie. Cela devient confus lorsque vous travaillez avec...