J'utilise Fedora 17 gnome (shell) 3 et le terminal gnome 3.4.1.1. Je suis à la fois gnome-terminal et midnight commander. Comme gnome-terminal par défaut a toujours utilisé F10 (dont j'ai besoin lors de l'utilisation de mc) pour ouvrir le menu supérieur. Il en était de même cette fois. J'ai pu …
J'ai ouvert un terminal sur Ubuntu en utilisant Ctrl+ Alt+ Tet un autre terminal en allant dans un répertoire puis en faisant un clic droit et en choisissant "Ouvrir dans le terminal". J'ai fait un echo $0dans les deux cas. Dans le premier cas: $ echo $0 -bash Dans le …
Comment pourrais-je exécuter un script dans Shell lorsqu'une touche de raccourci est enfoncée. Essentiellement, ce dont j'ai besoin, c'est quand une touche de raccourci est enfoncée, le script doit lire un fichier et afficher ce contenu dans le terminal.
J'ai utilisé (Red Hat, Ubuntu, CentOS, autres). Ces distributions utilisent Gnome-terminal et fournissent des moyens flexibles de configurer différents profils de terminal via un menu déroulant situé dans la fenêtre du terminal, directement au-dessus des commandes qui sont généralement entrées. Ces profils permettent de modifier les propriétés de police et …
J'utilise GNOME Terminal 2.7.3 et zsh 4.3.9 (x86_64-unknown-linux-gnu) Homeet Endne fonctionnent pas. Rien ne se passe et rien ne s'affiche lorsque j'appuie dessus. mais ils fonctionnent lorsque j'appuie sur shift + Home(Fait défiler jusqu'au début de la sortie du shell.) et fonctionnent également dans d'autres programmes GUI. J'ai googlé et …
J'utilise bash version 4.3.42 (1) -release dans un environnement ArchLinux / Gnome. Lorsque je tape mes commandes, certains des caractères écrits sont transformés en caractères étranges. Dans l'ensemble, tout le texte affiché semble étrange. Mon codage de caractères est défini sur Unicode (UTF-8). J'ai également vérifié ma langue de saisie, …
J'écris un script qui montre le journal git pour un répertoire quand je le cède. Un tel journal peut être écrasant, contenant des centaines de lignes. Jusqu'à présent, j'ai limité cela à 20 lignes codées en dur ( ... | head -n 20), ce qui est bien sur l'écran au …
Je viens de mettre à jour mon gnome-terminal pour utiliser 256 couleurs, mais je suis un peu perplexe sur la raison pour laquelle un émulateur de terminal ne peut pas prendre en charge la palette complète fournie par un environnement de bureau moderne. Je suppose qu'il y a une raison …
J'aime travailler sous Linux sans utiliser la souris, à cause de cela, je voudrais savoir s'il existe une méthode pour définir un raccourci clavier pour définir le titre de l'onglet gnome-terminal.
J'utilise gnome 3.10.1 sur Arch avec Zsh. Je suis confronté à ce problème que lorsque je crée un nouvel onglet ou une nouvelle fenêtre à partir d'une fenêtre de terminal, il réinitialise le répertoire en cours dans mon répertoire d'origine. J'ai déjà essayé ceci: gnome-terminal: garder une trace du répertoire …
J'utilise une vieille machine Debian: ID du distributeur: Debian Description: Debian GNU / Linux 5.0.2 (lenny) Version: 5.0.2 Nom de code: lenny J'ouvre le terminal et y exécute Midnight Commander. Maintenant, je dois quitter en appuyant sur F10. Mais quand je fais cela, je reçois le menu du terminal: Comment …
Voici ce que je veux accomplir: Je veux ouvrir un terminal gnome avec cinq onglets Je veux exécuter automatiquement un ensemble de commandes (5 à 10 commandes) dans chaque onglet Premier onglet: doit définir la vue en clair et ensuite exécuter une ou plusieurs commandes Deuxième onglet: doit se connecter …
Lors de l'exécution top -n1 | head le curseur du terminal disparaît. La course le top -n1ramène. Testé dans gnome-terminalet tilixdans Ubuntu 16.04 et CentOS 7.5. L'exécution top -n1 | tailn'a pas ce problème, donc je pense que quelque chose à la fin de la topsortie laisse réapparaître le curseur …
We use cookies and other tracking technologies to improve your browsing experience on our website,
to show you personalized content and targeted ads, to analyze our website traffic,
and to understand where our visitors are coming from.
By continuing, you consent to our use of cookies and other tracking technologies and
affirm you're at least 16 years old or have consent from a parent or guardian.