General
This section contains generally useful scripts:
- copy_shell_scripts
-
copy
*.shfiles from a source to a destination directory - counter
-
create a counter
- create_timestamp_file
-
create a file with a timestamp
- fix_permissions
-
fix the directory, file, and script permissions in the given directory
- hash_filename
-
insert a hash into a filename
- loop
-
call a script repeatedly
- shellscript_check
-
shellcheck
*.shfiles in the given directory - shellscript_format
-
format the shell script sources in the given directory
- shellscript_format_check
-
check the formatting of shell script sources in the given directory