simonw

$ wget -e robots=off -r -np 'http://example.com/folder/'

• -e robots=off causes it to ignore robots.txt for that domain
• -r makes it recursive
• -np = no parents, so it doesn't follow links up to the parent folder

kibotu

/* opened. Use it to add custom menus to Google Docs that allow the user to run
 * custom scripts. For more information, please consult the following two
 * resources.
 *
 * Extending Google Docs developer guide:
 *     https://developers.google.com/apps-script/guides/docs
 *
 * Document service reference documentation:
 *     https://developers.google.com/apps-script/reference/document/
 */

clintval

# Convert DOT graph data into a terminal-ready visualization
function idot {
  dot \
      -Tpng -Gdpi=300 \
      -Efontsize=18 -Efontname=sans -Nfontname=sans \
      -Gbgcolor=black -Gcolor=white -Ecolor=white -Efontcolor=white -Ncolor=white -Nfontcolor=white \
    | convert -trim -bordercolor black -border 20 -transparent black -resize "60%" - - \
    | imgcat # Or swap with your favorite terminal image viewer
}