Pinned Loading

1. Given a URL to a PDF convert it to text Given a URL to a PDF convert it to text

   1

   #!/bin/bash

   2

   # This script requires curl and gs.

   3

   4

   # Set ghostscript & curl options.

   5

   GSOPTIONS="-dNOPAUSE -dBATCH -sDEVICE=txtwrite -sOutputFile=%stdout -q"

2. colored diff output to html colored diff output to html

   1

   # uses diff, diffr, sed, aha

   2

   # pre.txt is original file, post.txt is updated file

   3

   diff -u pre.txt post.txt  | diffr | aha | sed 's/color:gray/color:white/g' | sed 's/<pre>/<pre style="white-space: pre-wrap;">/g' > diff.html