あなたが考えることができるいくつかのオプションがあります
Javascript JavaScript
を使用して、次のようなことを行います。
var element = document.getElementsByClassName("code");
//get the innerHTML and change < to < and > to >
element.innerHTML = element.innerHTML.replace(/\</g,"<").replace(/\>/g,">");
これにより、クラス「コード」を持つ要素が検索され、その入力が読み込まれ、適切な形式に変更されます。
PHP またはその他のサーバー側言語
PHP では、htmlspecialchars() を使用できます。PHP でファイルを読み込んで htmlspecialchars を使用することもできます (これをオンラインで行う方法については、おそらく何千ものチュートリアルがあります)。
使用できるsedでbash(または任意のスクリプト)を使用します。
sed -e 's/\</\</g' -e 's/\>/\>/g' filename.c > newfile.html
これは、指定したファイル (filename.c) を取得し、 < と > を適切なものに変更し、出力を newfile.html に保存します。これで、新しいファイルからコンテンツをコピペすることができます。
これ
が Web サイト用の場合は、サーバー側でテキストをエンコードすることをお勧めします (PHP を使用)。静的サイトの場合は、sed を使用した方が便利かもしれません。また、Web ページごとに数文字しかない場合は、手動で行うことをお勧めします。(または WYSIWYG エディターを使用)