Questions marquées «gnome-terminal»

24
Comment copier et coller un fichier?

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...

22
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...

21
Gnome-Terminal rapporte que $ TERM est `xterm`

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