Skip to content

Instantly share code, notes, and snippets.

@hidepin
Created October 1, 2018 14:50
Show Gist options
  • Save hidepin/e92961154bebd480c45086edfdec9311 to your computer and use it in GitHub Desktop.
Save hidepin/e92961154bebd480c45086edfdec9311 to your computer and use it in GitHub Desktop.

find /usr/share/doc/pg_statsinfo-3.3.0/ -name "*.html" -exec echo {} ; -exec tidy -utf8 -eq {} ; 2>&1 | less

find /usr/share/httpd/manual/ -name "*.css" | xargs csslint

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment