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-2020 Charles Monzat charles.monzat@free.fr 2020 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.

<gui>Copier</gui>

Sélectionnez les portions de texte que vous souhaitez copier, puis faites un clic droit sur la portion de texte et choisissez Copier. Vous pouvez aussi appuyer sur MajCtrlC.

 <gui>Copier comme HTML</gui>

Sélectionnez les portions de texte que vous souhaitez copier avec la couleur et les attributs de la police, puis faites un clic droit sur la portion de texte et choisissez Copier comme HTML.

 <gui>Coller</gui>

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

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