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
associations@guillaume-bernard.fr 2015-2018

# 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

Sélectionnez les portions de texte que vous souhaitez copier, puis cliquez sur Édition Copier. Vous pouvez aussi appuyer sur Maj Ctrl C.

# Copier comme HTML

Sélectionnez les portions de texte que vous souhaitez copier avec sa couleur et les attributs de sa police, puis cliquez sur Édition Copier comme HTML.

# Coller

Faites un clic droit dans la fenêtre de Terminal et choisissez Coller. Vous pouvez aussi appuyer sur Maj Ctrl V.

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