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 = $('

    ').addClass('pre-numbering').hide();
    $(this).addClass('has-numbering').parent().append($numbering);
    for (i = 1; i ').text(i));
    };
    $numbering.fadeIn(1700);
    });
    });

04-16 01:47