| update: exec property for these Bash Shell script file.