Comme indiqué dans les commentaires, dans une console Windows, vous pouvez faire un clic droit sur la barre de titre et faire Edit > Paste
.
Si vous préférez simplement un clic droit dans la fenêtre pour coller immédiatement, vous pouvez activer le mode QuickEdit
:
- un clic droit sur la barre de titre de la fenêtre et choisissez
Properties
.
- Sélectionnez l'onglet
Options
- En
Edit Options
, cochez QuickEdit Mode
- Cliquez sur OK, et quand il vous demande, choisissez
- Enregistrer les propriétés pour les fenêtres futures avec le même titre. Cela signifie que cela arrivera chaque fois que vous exécuterez ghci.
Fonctionne sous XP, et pour autant que je peux dire par Google, la même astuce fonctionne dans Vista et Windows 7.
Cela a aussi pour effet que vous n'avez pas besoin de choisir Edit > Mark
pour sélectionner texte. (Appuyez sur Entrée après avoir choisi de copier, et bien sûr, cliquez avec le bouton droit pour coller.)
Pourquoi ne pouvez-vous pas coller dans la console? (Utilisez-vous Windows?) – huon
Yeh, quand je fais un clic droit, il ne fait rien, ni ctrl + v –
[Est-ce que cela fonctionne?] (Http://ask-leo.com/how_do_i_paste_into_a_windows_xp_command_shell.html) – huon