Sindhu S
sindhus@live.in 2013
Ekaterina Gerasimova
kittykat3756@gmail.com 2013
Michael Hill
mdhillca@gmail.com 2013
Copier et coller du texte dans Terminal.
Yoann Fievez
yoann.fievez@gmail.com 2013
Julien Hardelin
jhardlin@orange.fr 2013
Alexandre Franke
alexandre.franke@gmail.com 2014
Alain Lojewski
allomervan@gmail.com 2014
Jérôme Sirgue
jsirgue@free.fr 2014
Guillaume Bernard
translate@filorin.fr 2015

# Copier et coller

Vous pouvez copier et coller du texte dans Terminal de la même manière que dans les autres applications. Cependant, les raccourcis claviers diffèrent.

# Copier

Highlight the text portions you wish to copy, then select Edit Copy. Alternatively, you can press Shift Ctrl C.

# Copy as HTML

Highlight the text portions you wish to copy with color and font attributes, then select Edit Copy as HTML.

# Coller

Right click in the Terminal and select Paste. Alternatively, you can press Shift Ctrl V.

Les raccourcis de clavier standards, tels que Ctrl C, ne peuvent pas être utilisés pour copier et coller du texte.