Questions marquées «terminal»

14
Changer le thème Zsh dans Android Studio

J'ai récemment quitté le navire zshet j'utilise le Oh my Zsh! thème blinks. Il a l'air très bien dans le terminal OSX, mais il a l'air très mauvais dans le terminal d'Android Studio. Ma question est donc de savoir s'il existe un moyen de vérifier que cette session a été ouverte dans Android Studio...

14
Telnet envoyer Ctrl-C

J'utilise telnet pour me connecter à un serveur de terminaux, qui procède au proxy vers un port RS-232. Malheureusement, lors de l'utilisation de certains appareils, il n'est pas possible d'envoyer le caractère CTRL+ C(0x03). Au lieu de transmettre le caractère, il semble que le client local ait...

14
Terminal vintage pour Ubuntu

Je viens donc de découvrir Cathode pour OSX et je suis complètement fasciné par son aspect classique avec son style rétro des années 1970. Est-ce que quelqu'un connaît des programmes / packages que je peux télécharger pour que mon terminal affiche ce look? S'il n'y a pas de packages disponibles, y...

13
connaître la taille du terminal ouvert

Sur DE, nous pouvons redimensionner le terminal (gnome-terminal par exemple) pour notre commodité, comment puis-je connaître la taille du terminal en termes de pixels ou de nombre de colonnes et de

13
Créer des liens cliquables dans le terminal

Est-il possible de traiter / transformer la sortie grep (ou de produire des greprésultats similaires, en trouvant des chaînes et / ou des modèles dans des fichiers, d'une autre manière) de sorte que les résultats de la recherche puissent être utilisés comme des liens (c.-à-d. Des hyperliens) pour...