#!/bin/bash
# 2019-07-16.18:03:57 save_function feedproxy.google.com/~r/Command-line-fu/~3/BuffwSudWEQ/bash-function-that-saves-bash-functions-to-file-from-shell-session
save_function ()
{
    while [[ $# > 0 ]]; do
        {
            date +"# %F.%T $1";
            declare -f "$1"
        } | tee -a ~/.bash_functions;
        shift;
    done
}