Skip to content

Instantly share code, notes, and snippets.

View Focshole's full-sized avatar
📚
Studying

Moreno Giussani Focshole

📚
Studying
  • Politecnico di Milano
View GitHub Profile

Oh my zsh.

Install with curl

sh -c "$(curl -fsSL https://raw.githubusercontent.com/robbyrussell/oh-my-zsh/master/tools/install.sh)"

Enabling Plugins (zsh-autosuggestions & zsh-syntax-highlighting)

  • Download zsh-autosuggestions by
@majal
majal / pdfra
Last active November 12, 2020 20:27 — forked from stefanschmidt/remove-annotations.sh
Remove all annotations from a PDF document
#!/bin/bash
[[ -z "$1" ]] && echo "Please enter a filename. Exiting..."
[[ -z "$1" ]] && exit 1
echo
printf "Stripping annotations from $1... "
pdftk "$1" output "/tmp/$1 - uncompressed.pdf" uncompress
LANG=C sed -n '/^\/Annots/!p' "/tmp/$1 - uncompressed.pdf" > "/tmp/$1 - stripped.pdf"