greycat 1598287801 learn "local -" (bash 4.4) makes all changes to shell options using "set" local to the function; they are restored when the function returns.