get_ecc

#!/bin/bash

for num in 5480 ; do
  if [ -f rfc$num.txt ]; then
    echo "you already got it: rfc$num.txt"
    continue;
  fi

  wget https://www.rfc-editor.org/rfc/rfc$num.txt
done