HTMLファイルのダウンロード

現在表示してるページのHTMLソースをHTMLファイルでダウンロードするスクリプトです。
スクリプトを実行すると即時、
既存のダウンロードフォルダにファイルがダウンロードされます。

Javascript原文

function getHTMLSource() {
    return document.documentElement.outerHTML;
}

function saveHTMLToFile(htmlContent) {
    var blob = new Blob([htmlContent], { type: 'text/html' });
    var downloadLink = document.createElement('a');
    downloadLink.href = window.URL.createObjectURL(blob);
    downloadLink.download = 'page_source.html';
    document.body.appendChild(downloadLink);
    downloadLink.click();
    document.body.removeChild(downloadLink);
}

var htmlContent = getHTMLSource();

saveHTMLToFile(htmlContent);

ブックマークレット

javascript:(function(){function%20getHTMLSource(){return%20document.documentElement.outerHTML;}function%20saveHTMLToFile(htmlContent){var%20blob=new%20Blob([htmlContent],{type:'text/html'});var%20downloadLink=document.createElement('a');downloadLink.href=window.URL.createObjectURL(blob);downloadLink.download='page_source.html';document.body.appendChild(downloadLink);downloadLink.click();document.body.removeChild(downloadLink);}var%20htmlContent=getHTMLSource();saveHTMLToFile(htmlContent);})();

好きにカスタマイズして使ってください。
以上