.scripts/functions.bash: added