# 2019-09-03 19:15:41+00:00

enable -f /usr/lib/recutils/bash-builtins/readrec.so readrec

save_function () 
{ 
    while [[ $# > 0 ]]; do
        { 
            date +"# %F.%T $1";
            declare -f "$1"
        } | tee -a ~/.bash_functions;
        shift;
    done
}

check_root ()
{
  if [[ $EUID -ne 0 ]]; then
    echo "This script must be run as root" 
    exit 1
  fi
}