#! /bin/sh version=10.2 URL_BASE_PR="https://github.com/sagemath/sage/pull/" URL_BASE_COMPARE="https://github.com/sagemath/sage/compare/${version}..." case "$1" in -n) DO=echo ;; esac # get_pr [ext] get_pr() { pr=$1 desc=$(echo "$2" | sed -e 's/ /_/g') ext=${3-diff} $DO wget "$URL_BASE_PR$pr.$ext" -O "$pr-$desc.patch" } # run from patches dir cd $(dirname "$0") # needs review get_pr 37492 "singular 4.3.2p16"