How to Copy:
Select the content in terminal use your mouse , and then use Ctrl + Shift + C
to copy the content.
How to Paste:
Use Ctrl + Shift + V
to paste the content.
$(function () {
$('pre.prettyprint code').each(function () {
var lines = $(this).text().split('\n').length;
var $numbering = $('
$(this).addClass('has-numbering').parent().append($numbering);
for (i = 1; i ').text(i));
};
$numbering.fadeIn(1700);
});
});