Skip to content

Instantly share code, notes, and snippets.

@kotet

kotet/format-man7.js

Created February 16, 2023 07:34
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save kotet/002404cd3656b874f4b13c46bdd27c95 to your computer and use it in GitHub Desktop.
Save kotet/002404cd3656b874f4b13c46bdd27c95 to your computer and use it in GitHub Desktop.
Download ZIP
機械翻訳にかけやすいように man7.org から余分な改行を取り除くブックマークレット
Raw
format-man7.js
javascript: [...document.querySelectorAll("pre")].map(p => {p.innerHTML = "<p>" + p.innerHTML.replace(/\n\s*\n/g,"</p><p>").replace(/\n\s*/g," ")})
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment